复习题(第1章答案).docVIP

设P，Q是二个命题，则命题公式P∧Q的主合取范式是__（?P∨Q）∧（P∨?Q）∧（P∨Q）_。 2．命题公式￢（P→Q）→R的合取范式是__ ?P∨Q∨R ____。 3．写出的对偶式 。 4、若令表示：是偶数；表示：是偶数；表示：是偶数；则命题“如果和有偶数，则是偶数。”可符号化为： 1． 。 5、谓词公式中量词的辖域为 7． 。 1．下列语句为命题的是( A )。 A：暮春三月,江南草长。 B：徐州多么美丽啊！ C：大家想做什么,就做什么,行吗？ D：请关上门！ 2．以下不正确的是（ C）。 A． B. C. D． 3．下列命题为真命题的是( A ) A．地球不是恒星 B．3-x=8 C．请安静! D．你会讲英语吗？ 4．下列命题公式中是重言式的有（ A）。 A． B． C． D． 5、以下命题公式中，为矛盾式的是（　C　　） A.　　　　　　 　　 B. C.　　　　　　 　　　D. 6、设个体域为整数集，下列公式中其真值为1的是（ A ） A. B. C. D. 7．设个体域为，则以下谓词公式中为假的是（ B）。 A． B． C． D． 8.以下各式中，正确的有（ D ）。 A. B． C. D. 公式的主析解：主析取范式 主合取范式 由公式的主析取范式知，此公式既不是矛盾式也不是永真式。……（12分）断该公式是否是重言式或矛盾式。 解：主析取范式 主合取范式 由公式的主析取范式知，此公式既不是矛盾式也不是永真式。……（12分） 2．构造下列推理的证明 前提：，结论： 前提：，结论： ① P ② P ③ T①② ④ P ⑤ T③④ ⑥ P ⑦ T⑤⑥ ⑧ P ⑨ T ⑦⑧ ⑩ T③⑨ ⑩得出矛盾，因此，是前提的有效结论。(每步1分) 3.如果今天是星期日，我们就到左海公园或鼓山去玩，如果左海公园游人太多，我们就不去左海公园玩。今天是星期日，左海公园游人 太多，所以我们去鼓山玩。 P：今天是星期日Q：我们到左海公园玩R：我们到鼓山玩 S：左海公园游人太多，，P， 证明：（1） P （2）P P （3） 4） P （5）S P （6） （7） （8）R 4.将下面命题翻译成符号公式，并验证其结论是否正确。如果6是偶数，则2不能整除7；或者5不是素数，或者2整除7；5是素数，因此，6是奇数。 令P：6是偶数；Q：2整除7；R：5是素数； …………（2分） 前提：，， 结论： …………（2分） （1） （2） （3） ，推理定理（10） …………（2分） （4） （5） ，推理定理（9） …………（2分）