首页
期刊介绍
编委会
投稿须知
期刊订阅
广告合作
联系我们
文章摘要
全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题
DOI:
中文关键词
:
全称概括规则
分离规则
演绎定理
推理规则
逻辑教材
数理逻辑
一阶逻辑
规则定义
保真性
受限制
英文关键词
:
基金项目
:
作者
单位
李 守 利
东北师范大学 马克思主义学院
,
吉林 长春 130024
摘要点击次数
:
2090
全文下载次数
:
6
中文摘要
:
事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A
英文摘要
:
查看全文
查看/发表评论
下载PDF阅读器
关闭