分类: 哲学 >> 逻辑学 提交时间: 2024-09-30 合作期刊: 《重庆理工大学学报(社会科学)》
摘要:借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。
主办:中国人民大学 承办:中国人民大学书报资料中心 邮箱: yuyin@ruc.edu.cn 电话:62516972 62515820 地址: 北京市海淀区中关村大街59号 版权所有©2024 中国人民大学