湖南科技大学学报（社会科学版）

文章摘要

全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题

DOI：

中文关键词: 全称概括规则分离规则演绎定理推理规则逻辑教材数理逻辑一阶逻辑规则定义保真性受限制

英文关键词:

基金项目:

作者	单位
李守利	东北师范大学马克思主义学院,吉林长春 130024

摘要点击次数: 2038

全文下载次数: 6

中文摘要:

事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A

英文摘要:

查看全文查看/发表评论下载PDF阅读器