重庆理工大学学报（社会科学）

重庆理工大学学报（社会科学） ›› 2022, Vol. 36 ›› Issue (10): 55-65.

• 逻辑与科学方法论 • 上一篇    下一篇

经典否定蕴涵系统定理的能行证明

杜国平１ ，２   

  1. １ ． 中国社会科学院大学 哲学院， 北京 １０２４８８； ２． 中国社会科学院 哲学研究所
  • 发布日期:2022-11-09
  • 作者简介:杜国平， 中国社会科学院哲学研究所二级教授， 博士生导师， 博士， 主要从事现代逻辑及其应用研究。

  • Published:2022-11-09

PDF (PC)

39

赞

摘要： 摘要： 借鉴亚里士多德的化归方法， 通过反复使用双否消去规则、否定内移规则、移动排序规则、 合并规则和归约规则， 可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如［ ＹＹ］ 的公式。 再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

关键词: 命题逻辑, 否定蕴涵系统定理, 化归方法, 能行证明

中图分类号: 

  • B81