实验1_数理逻辑.docVIP

《离散数学》实验报告 实验序号：1　　　　　　　　　 　 实验项目：数理逻辑 学　　号 1507052114 姓　　名 何蕾 专业、班级 15软服 实验地点 1-314 指导教师 陈培芝 实验时间 2016.9.23 一、实验目的及要求 深刻理解5种常用联结词：┑、∧、∨、→、 掌握常用联结词的真值表的计算 掌握任意命题公式的真值表计算 深刻理解等值演算的方法 掌握主析取范式（主合取范式）的计算 掌握如何通过主析取范式判断推理是否正确 二、实验设备（环境）及要求 使用Visual C++ 6.0；windows系列操作系统的环境。 三、实验内容与步骤 1、 通过键盘输入两个命题变元P和Q的真值，求它们的非(┑)、合取（∧）、析取（∨）、 蕴含（→）和等价 （ ）的真值。 运行结果截屏： 2、分别给出两个命题变元P、Q运用非(┑)、合取（∧）、析取（∨）、蕴含（→）和等价（ ）的真值表。 运行结果截屏 3、编程计算以下命题公式的真值表 （1）p∧r∧┑(q→p) (2) (p→q) (p→r) (3) (p∧┑(q→p)) ∧(q∧r) 运行结果截屏 4、预测比赛名次,有A,B,C,D四人参加百米赛跑，观众甲、乙、丙预测比赛的名次为： 甲说： C第一，B第二； 乙说： C第二，D第三； 丙说： A第二，D第四； 比赛结束后发现甲、乙、丙每人的预测都只对一半，试问实际名次如何(假定没有并列者)？ 运行结果截屏 5、求以下公式的主析取范式 （1）A =（ p∧q）∨(┑p∧q∧r） (2) B = (p∨(q∧r)) ∧(┑q∨(p∧r)) 并判断公式A、B是否等值 运行结果截屏 6、编程判断以下推理是否正确 （1）若今天下雨，我就不去图书馆。今天下雨，我去图书馆 （2）若今天不是星期六，明天就不是星期一。明天是星期一，所以，今天是星期六 （3）n不是偶数或m不是奇数.n 是偶数， 所以，m不是奇数 运行结果截屏 四、分析与讨论 上机实践结果进行分析，上机的心得体会。 五、教师评语 签名： 日期： 成绩 附源程序清单：