命题公式真值表的自动生成系统.docVIP

学校代码 10126 学号 分 类 号 密级 本科毕业论文（设计） 命题公式真值表自动生成系统 学院、系 软 件 学 院 专业名称 软 件 工 程 年 级 08 级 学生姓名 解 慧 指导教师 赵 玉 兰 2012 年 05月27 日 内蒙古大学本科毕业论文(设计) 命题公式真值表自动生成系统 作者：解慧 指导教师：赵玉兰 摘要 命题逻辑是离散数学中重要组成部分之一。 \o 真值 真值表是命题逻辑中使用的一类数学表，它是以表格的直观形式表示与判定 \o 判断 判断 \o 真值 真值和推理有效性的一种逻辑方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。本文采用