命题逻辑推理的一个代数化证明方法

摘要：

尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。

关键词： 命题逻辑推理 代数化证明 定理机械化证明

作者: 王礼萍

作者单位: 哈尔滨学院数学与计算机学院 哈尔滨 150086

会议类型: 国内会议

会议名称: 全国第十五届离散数学学术研讨会

会议地点: 南京

会议语种:中文

页码: 39-41,62

在线出版日期: 2010-08-01（万方平台首次上网日期，不代表论文的发表时间）