计算机数理逻辑中命题演算演示系统的研究与开发—免费计算机毕业设计论文

计算机数理逻辑中命题演算演示系统的研究与开发—免费计算机毕业设计论文毕业设计(论文) 本科生毕业论文 论文题目:计算机数理逻辑中命题演算演示系统的研究与开发 学 院 ××学院 专 业 ××××专业 学

计算机数理逻辑中命题演算演示系统的研究与开发—免费 计算机毕业设计论文 毕业设计(论文) 本科生毕业论文 论文题目:计算机数理逻辑中命题演算演示系统的研究与开发 学院 ××学院 专业 ××××专业 学号 学生 姓名 指导教师姓名 ××× 指导教师职称 指导教师单位 1 毕业设计(论文) 计算机数理逻辑中命题演算演示系统的研究与开发 摘要 本论文研究了计算机数理逻辑中的命题演算部分内容。在逻辑语言的命题演算 中，命题式的等价是一个基础性的问题，在判定命题式等价问题中，真值表示比较 常用的一个方式。判定的依据是两个命题式如果其真值完全相同则命题式等价;一 阶谓词逻辑是命题演算的重要组成部分，是命题演算的基础。而一阶谓词逻辑化为 其前束范式是命题演算的重要步骤。对于一阶谓词化为其前束范式问题，一般可以 通过三个步骤完成，首先去掉逻辑式中的连接词;其次将否定词深入到各原子公式 中;最后利用永真等价式将量词逐个移到式子的前部。