《不同逻辑间翻译的完备性》-毕业设计（论文）.docVIP

安徽建筑工业学院 毕业设计（论文） PAGE PAGE IV 安徽建筑工业学院 毕 业 设 计 (论 文) 专 业 信息与计算科学 班 级 07信息（2）班 学生姓名 学 号 07207010214 课 题 不同逻辑间翻译的完备性 指导教师 2011年5月31日 不同逻辑间翻译的完备性 (安徽建筑工业学院数理系，合肥230022) 摘要: 数理逻辑是用数学方法来研究推理的形式结构和推理规律的数学学科.它与数学的其他分支、计算机科学、人工智能、语言学等学科均有密切的联系，它日益显示出它的重要作用和更加广泛的应用前景.数理逻辑是形式逻辑与数学思想结合的产物但数理逻辑研究的是各学科共同遵从的一般性的逻辑规律，而各门学科只研究自身的具体规律. 本论文讨论了在论域有限的情况下，命题逻辑与一阶逻辑的关系.该文提出了语义忠实和语义满两条逻辑性质来确保可满足的公式翻译为可满足的公式，不可满足公式翻译翻译为不可满足公式.本文说明了在Henkin语义下，二阶逻辑到一阶逻辑的