《第一章命题逻辑习题(6页).doc》由会员分享，可在线阅读，更多相关《第一章命题逻辑习题(6页).doc（6页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、-第一章第二章第三章第四章 第一章命题逻辑习题-第 6 页第五章 命题逻辑一、选择1、 下列语句是命题的有（ ）。 A、2是素数；B、x+5 6；C、地球外的星球上也有人；D、这朵花多好看呀！。2、下列语句不是命题的有（ ）。A、 x=13； B、离散数学是计算机系的一门必修课； C、鸡有三只脚；D、太阳系以外的星球上有生物； E、你打算考硕士研究生吗？3、下列语句是命题的有（ ）。A、 明年中秋节的晚上是晴天； B、；C、当且仅当x和y都大于0； D、我正在说谎。4、下列各命题中真值为真的命题有（ ）。B、 2+2=4当且仅当3是奇数；B、2+2=4当且仅当3不是奇数；C、2+24当且仅当3
2、是奇数； D、2+24当且仅当3不是奇数5、下列各符号串，不是合式公式的有（ ）。A、； B、；C、； D、。6、下列公式是重言式的有（ ）。A、；B、；C、；D、7、下列问题成立的有（ ）。A、 若，则； B、若，则；C、若，则； D、若，则。8、命题逻辑演绎的CP规则为（ ）。B、 在推演过程中可随便使用前提；B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果；C、如果要演绎出的公式为形式，那么将B作为前提，设法演绎出C；D、设是含公式A的命题公式，则可用B替换中的A。的合取范式为（ ）。A、 ；B、 ；C、 D、。9、 下列符号串是合式公式的有（ ）A、；B、；C、；D、。10、下
3、列等价式成立的有（ ）。A、；B、；C、 ； D、。11、若和B为wff，且则（ ）。A、称为B的前件； B、称B为的有效结论C、当且仅当；D、当且仅当。12、A，B为二合式公式，且，则（ ）。A、为重言式； B、；C、； D、； E、为重言式。13、下述命题公式中，是重言式的为（ ）。A、； B、；C、； D、。14、的主析取范式中含极小项的个数为（ ）。A 、2； B、 3； C、5； D、0； E、 8 。二、填空1、若P，Q，为二命题，真值为0 当且仅当 。2、设P，Q 的真值为0，R，S的真值为1，则的真值= 。3、P，Q真值为0 ；R，S真值为1。则的真值为 。4、的主合取范式为
4、。5、公式的主合取范式为6、是有理数的真值为 。 7、Q：我将去上海，R：我有时间，公式的自然语言为 。8、 若P，Q为二命题，真值为1，当且仅当 。9、 一个命题含有4个原子命题，则对其所有可能赋值有 种。10、所有小项的析取式为 。三、证明题1)(PQ)(P(QR)(PQ)(PR)T证明: 左端(PQ)(P(QR)(PQ)(PR)(摩根律) (PQ)(PQ)(PR)(PQ)(PR)(分配律) (PQ)(PR)(PQ)(PR) (等幂律)T(代入)2)x(P(x)Q(x)xP(x)x(P(x)Q(x)证明：x(P(x)Q(x)xP(x)x(P(x)Q(x)P(x)x(P(x)Q(x)P(x)
5、x(P(x)Q(x)xP(x)xQ(x)x(P(x)Q(x)3)(P(QR)(QR)(PR)R证明: 左端(PQR)(QP)R)(PQ)R)(QP)R)(PQ)R)(QP)R)(PQ)(QP)R(PQ)(PQ)RTR(置换)R4)$x(A(x)B(x) xA(x)$xB(x)证明 ：$x(A(x)B(x)$x(A(x)B(x)$xA(x)$xB(x)xA(x)$xB(x)xA(x)$xB(x)5）证明(PQ)(QR)(PR)解：因为(PQ)(QR)(PR)(PQ)(QR)(PR)(PQ)(QR)PR(PQ)(QPR)(RPR)(PQ)(QPR)(PQPR)(QQPR)T所以，(PQ)(QR)(
6、PR)。四、计算题1）求命题公式(PQ)(PQ) 的主析取范式和主合取范式。解：(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ) (PPQ)(QPQ)(PQ)M1m0m2m32）求命题公式(P(QR)(PQR)的主析取范式和主合取范式。证明：(P(QR)(PQR)(P(QR)(PQR)（P(QR)）(PQR)(PQ)(PR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)m0m1m2m7M3M4M5M63）求(PQ)R的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值。解 (PQ)R(PQ)R(PQ)R(P(QQ)R)(PP)QR)(PQR)(PQR)(PQ
7、R)(PQR) 所以，其相应的成真赋值为000、001、011、101、111：成假赋值为：010、100、110。五、用公式法判断下列公式的类型：(1)(PQ)(PQ)(2)(PQ)(P(QR)解：（1）因为(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)所以，公式(PQ)(PQ)为可满足式。（2）因为(PQ)(P(QR)( PQ)(PQR)(PQ)(PQR)(PQP)(PQQ)(PQR)(PQ)(PQR)(PQ(RR)(PQR)(PQR)(PQR)(PQR)所以，公式(PQ)(P(QR)为可满足式。六、推理证明题1)(P(QS)(RP)QRS证明：（1）R 附加前提（2）RP P（3）P T(1)(2)，I（4）P(QS) P（5）QS T(3)(4)，I（6）Q P（7）S T(5)(6)，I（8）RS CP2）CD， (CD) E， E(AB)， (AB)(RS)RS证明：(1) (CD)E P(2) E(AB) P(3) (CD)(AB) T(1)(2)，I(4) (AB)(RS) P(5) (CD)(RS) T(3)(4)， I(6) CD P(7) RS T(5)，I