离散复习附部分答案精要.doc

一、范式 1、的 主合取范式为 。 利用主析取范式，求公式的类型。 解、 它无成真赋值，所以为矛盾式。 求命题公式((P∧Q)((((P(R)的主合取范式。 解：((P∧Q)((((P(R)(（((P∧Q)((((P(R)）∧（(((P(R)(((P∧Q)） (（(P∧Q)∨((P∧(R)）∧（(P∨R)∨((P∨(Q)） ((P∧Q)∨((P∧(R) ((P∨(R)∧（Q∨(P）∧（Q∨(R）((P∨Q∨(R)∧(P∨(Q∨(R)∧（(P∨Q∨R）∧（(P∨Q∨(R） (M1∧M3∧M4∧M5 设命题公式G = ((P→Q)∨(Q∧((P→R)), 求G的主析取范式。 G = ((P→Q)∨(Q∧((P→R)) = (((P∨Q)∨(Q∧(P∨R)) = (P∧(Q)∨(Q∧(P∨R)) = (P∧(Q)∨(Q∧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∧Q∧(R)∨((P∧Q∧R) = m3∨m4∨m5∨m6∨m7 = ((3, 4, 5, 6, 7). 通过求主析取范式判断下列命题公式是否等价： (1) G = (P∧Q)∨((P∧Q∧R) (2) H = (P∨(Q∧R))∧(Q∨((P∧R)) G＝(P∧Q)∨((P∧Q∧R) ＝(P∧Q∧(R)∨(P∧Q∧R)∨((P∧Q∧R) ＝m6∨m7∨m3 ＝( (3, 6, 7) H = (P∨(Q∧R))∧(Q∨((P∧R)) ＝(P∧Q)∨(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) ＝m6∨m3∨m7 ＝( (3, 6, 7) G,H的主析取范式相同，所以G = H. 6、用等值演算法和真值表法判断公式的类型。 （1）等值演算法 （2）真值表法 P Q A 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 1 1 1 1 所以A为重言式。 7、设命题A1，A2的真值为1，A3，A4真值为0，求命题 的真值。（5分） 8、公式的主合取范式是 二、推理证明 1、叙述并证明苏格拉底三段论 解：所有人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 符号化：F（x）：x是一个人。G（x）：x要死的。A：苏格拉底。 命题符号化为(x（F（x）(G（x）），F（a）(G（a） 证明： （1）(x(F(x)(G(x)) P （2）F(a)(G(a) T(1),US （3）F(a) P （4）G(a) T(2)(3),I 2、设论域D={a , b , c}，求证：。 3、用反证法证明。 4、用CP规则证明。 5、演绎推理：所有的有理数都是实数，所有的无理数也是实数，虚数不是实数。因此，虚数既不是有理数，也不是无理数。 6、利用形式演绎法证明：{(A∨B, (C→(B, C→D}蕴涵A→D。 (1) A D(附加) (2) (A∨B P (3) B Q(1)(2) (4) (C→(B P (5) B→C Q(4) (6) C Q(3)(5) (7) C→D P (8) D Q(6)(7) (9) A→D D(1)(8) 所以 {(A∨B, (C→(B, C→D}蕴涵A→D. 7、 ① P（附加前提） ② T①I ③ P ④ T②③I ⑤ T④I ⑥ T⑤I ⑦ P ⑧ T⑥⑦I ⑨ CP 8、 ① P（附加前提） ② US① ③ P ④ US③ ⑤ T②④I ⑥ UG⑤ ⑦ CP 9、所有的舞蹈者都很有风度，王华是个学生且是个舞蹈者。因此有些学生很有风度。 证明：设P(x)：x 是个舞蹈者； Q(x) ：x很有风度； S(x)：x是个学生； a：王华 上述句子符号化为： 前提：、 结论： ……3分 ① P ② P ③ US② ④ T①I ⑤ T③④I ⑥ T①I ⑦ T⑤⑥I ⑧ EG⑦ 10、符号化语句：“有些人喜欢所有的花，但是人们不喜欢杂草，那么花不是杂草”。并推证其结论。 解： 证明： ⑴ P ⑵ ES⑴ ⑶ T⑵I ⑷ T⑵I ⑸ P ⑹ US⑸ ⑺ T⑶⑹I ⑻ T⑺E ⑼ US⑷ ⑽ US⑻ ⑾ T⑼⑽I ⑿ UG⑾ 11、符号化语句：“有些病人相信所有的医