10.3969/j.issn.1674-8425(s).2022.10.007
经典否定蕴涵系统定理的能行证明
借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式.再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明.
命题逻辑、否定蕴涵系统定理、化归方法、能行证明
36
B81(逻辑学(论理学))
中国社会科学院创新工程项目2021ZXSCXB04
2022-11-17（万方平台首次上网日期，不代表论文的发表时间）
共11页
55-65
