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