离散数学改革01评分标准.docVIP

苏州大学 离散数学 课程试卷（ 1 卷）共 4 页 答案 考试形式 闭 卷 年 月 院系 年级 专业 学号 姓名 成绩 名词解释： （10分） 1、命题：具有确定真值的陈述句。 2、命题公式的等价：若命题公式A和B的所有真值全都相同， 则称A和B是等价的或逻辑相等，记作A(B. T，记为T. 4、命题公式的对偶原理：设P1, P2, …, Pn 是出现在公式A和B中的所有原子变元，如果A ( B，则A* ( B*. P(Q为重言式时，称“P蕴含Q”，记为P(Q. 二、化简以下公式： ((A(B)(((B((A))(C （10分） 解：((A(B)(((B((A))(C ((((A(B)((B((A))(C (T(C (C 三、试求命题公式P(((P((Q(((R(Q)))的合取范式 （10分） 解：P(((P((Q(((R(Q))) ( P((P((Q((R(Q))) ( P((P(Q) ( P(Q（写到此处也算对） ( P(Q ( (R((R) ( (P(Q ( R)((P(Q((R) P Q R (P(R P(Q ((P(R)((P(Q) 0 0 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 四、用真值表法求((P(R)((P(Q)的主析取范式，要求写出各极小项及各极小项的足标。 （10分） 解：因为该命题公式((P(R)((P(Q)的真值表如下： 所以主析取范式为：m1( m6( m7=((P((Q (R)((P(Q((R) ((P(Q(R) 五、联结词服从结合律吗？试给出证明。 （10分） 解一：联结词(不服从结合律。 因为P((Q(R) ( P((((Q(R) )((( P((((Q(R) ((P( (Q(R) 而(P(Q)(R (((P(Q) (R(( (((P(Q) (R) ((P(Q)( (R 所以P((Q(R)与(P(Q)(R不等价。 解二：联结词(不服从结合律。 对于真值指派P=T, Q=T,R=F, 有 (P(Q)(R 为T, P((Q(R)为F, 所以P((Q(R)与(P(Q)(R不等价。 六、逻辑推证以下各式 (A(B)( C, (D, (C(D((A((B （10分） 证一： (1)(D P (2)(C(D P (3)(C T(1)(2),I (4)(A(B)( C P (5) ((A(B) T(3)(4),I (6) (A((B T(5),E 证二：（反证法） (1)(((A((B) P(附加前提) (2) A(B T(1),E (3)(A(B)( C P (4) C T(2)(3),I (5)(C(D P (6)D T(4)(5),I (7)(D P (8) D((D(矛盾) T(6)(7),I 七、形式化下述推理： （10分） 如果我的程序通过，那么，我很快乐。 如果我快乐，那么，阳光很好。现在是晚上十一点，没有阳光。所以 ，我程序没有通过。 解：设P: 我的程序通过。 Q: 我很快乐。 R: 阳光很好。 ( Q, Q( R, (R((P. 八．求下述谓词公式的前束合取范式与前束析取范式。 （10分） ((x)(P(x)(Q(x,y))((((y)P(y)(((z)Q(y,z)) 解：((x)(P(x)(Q(x,y))((((y)P(y)(((z)Q(y,z)) ((((x)((P(x)(Q(x,y))((((y)P(y)(((z)Q(y,z)) ( ((x)(P