命题逻辑及谓词逻辑推理证明中的化归法
张锦华
【期刊名称】《福建电脑》
【年(卷),期】2009(025)009
【摘要】离散数学中的命题逻辑及谓词逻辑在计算机科学中有着广泛的应用.本文,提出了一种用于命题逻辑及谓词逻辑推理证明中统一的方法--化归法
【总页数】2页(167-168)
【关键词】命题逻辑;谓词逻辑;化归法
【作者】张锦华
【作者单位】昆明工业职业技术学院
【正文语种】中文
【中图分类】TP18
【相关文献】
1.利用谓词/变迁网证明的一阶谓词逻辑命题 [J], 方欢; 印玉兰; 徐誉尹
2.初中学生几何证明中逻辑推理错误及对教学的启示——以三角形内角和定理的证明为例 [J], 温建红; 周文芬; 汪飞飞
3.VHDL语言在个体域D为{0,1}的谓词逻辑定理证明中的应用[J], 冷明; 唐毅; 吴悦; 杨洪斌
4.谓词逻辑在程序正确性证明中的应用 [J], 黄万徽
5.命题逻辑推理的一个代数化证明方法 [C], 王礼萍
以上内容为文献基本信息,获取文献全文请下载