期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
论排中律在演绎推理中的作用──兼论“可真可假”(真假不定)蕴涵的有效推理形式
1
作者
焦献民
《河南师范大学学报(哲学社会科学版)》
CSSCI
1999年第6期23-24,共2页
关键词
排中律
推理形
式
演绎推理
对当关系推理
无效
式
简单析取式
逻辑教材
假言推理
普通逻辑
二难推理
下载PDF
职称材料
命题逻辑中推理理论的数字形式
2
作者
李宝健
《北方工业大学学报》
2002年第3期18-20,共3页
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P.
关键词
命题逻辑
简单
合取
式
简单析取式
命题公
式
主合取范
式
主
析取
范
式
下载PDF
职称材料
题名
论排中律在演绎推理中的作用──兼论“可真可假”(真假不定)蕴涵的有效推理形式
1
作者
焦献民
机构
中共新乡市委党校
出处
《河南师范大学学报(哲学社会科学版)》
CSSCI
1999年第6期23-24,共2页
关键词
排中律
推理形
式
演绎推理
对当关系推理
无效
式
简单析取式
逻辑教材
假言推理
普通逻辑
二难推理
分类号
B812.1 [哲学宗教—逻辑学]
下载PDF
职称材料
题名
命题逻辑中推理理论的数字形式
2
作者
李宝健
机构
首钢工学院
出处
《北方工业大学学报》
2002年第3期18-20,共3页
文摘
本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P.
关键词
命题逻辑
简单
合取
式
简单析取式
命题公
式
主合取范
式
主
析取
范
式
Keywords
propositional logic
simple conjunction
simple disjunction
propositional formula
principal conjunctive normal form
principal disjunctive normal form
分类号
O141.12 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
论排中律在演绎推理中的作用──兼论“可真可假”(真假不定)蕴涵的有效推理形式
焦献民
《河南师范大学学报(哲学社会科学版)》
CSSCI
1999
0
下载PDF
职称材料
2
命题逻辑中推理理论的数字形式
李宝健
《北方工业大学学报》
2002
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部