数理逻辑习题部分解答[精选].docVIP

一、命题逻辑 3．将下列命题符号化。 （）（）（）。 （5）设P：天气很好；Q：老王来； 则命题可符号化为：。 （7）设P：停机的原因在于语法错误； Q：停机的原因在于程序错误。 则命题可符号化为：。 4．设命题P：这个材料很有趣；Q：这些习题很难；R：这门课程使人喜欢。将下列句子符号化。 （4）（5） （5）或者 12．用基本等价公式的转换方法验证下述论断是否有效。 （1）P→Q,R∧S,┐QP∧S；（）┐(P∧┐Q),┐Q∨R,┐Q┐P；（）P,Q→R,R∨SQ→S （2） （3） 14．符号化下列论断，并用演绎法验证论断是否正确。 （）有红、黄、蓝、白四队参加足球联赛。如果红队第三，则当黄队第二时，蓝队第四；或者白对不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四；，， ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ P P（附加前提） T，①，②，I P T，③，④，I P T，⑤，⑥，I CP，②，⑦ （）如果6是偶数，则2不能整除7；或者5不是素数，或者2整除7；5是素数。因此，6是奇数；，， ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ P（附加前提） T，①，E P T，②，③，I P T，④，⑤，I P T，⑥，⑦，I （）若今天是星期二，那么我要考计算机科学或经济学；若经济学教授病