典型文献
经典否定蕴涵系统定理的能行证明
文献摘要：
借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式.再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明.
文献关键词：
命题逻辑;否定蕴涵系统定理;化归方法;能行证明
中图分类号：
作者姓名：
杜国平
作者机构：
中国社会科学院大学 哲学院,北京 102488;中国社会科学院 哲学研究所,北京 100732
文献出处：
引用格式：
[1]杜国平-.经典否定蕴涵系统定理的能行证明)[J].重庆理工大学学报（社会科学版）,2022(10):55-65
A类：
否定蕴涵系统定理,能行证明,化归方法
B类：
亚里士多德,消去,归约,命题逻辑,任一,等值,形如,YY,明子,子程序
AB值：
0.256499
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
