《离散数学课后练习题答案(第三版)-乔维声-汤维版》由会员分享，可在线阅读，更多相关《离散数学课后练习题答案(第三版)-乔维声-汤维版（25页珍藏版）》请在金锄头文库上搜索。
1、、命题逻辑1. 用形式语言写出下列命题：(1) 如果这个数是大于1 的整数，则它的大于1 最小因数一定是素数。(2) 如果王琳是学生党员又能严格要求自己，则她一定会得到大家的尊敬。(3) 小王不富有但很快乐。(4) 说逻辑学枯燥无味或毫无价值都是不对的。(5) 我现在乘公共汽车或者坐飞机。(6) 如果有雾，他就不能搭船而是乘车过江。解：(1) 设P：这个数是大于1 的整数。Q：这个数的大于1 最小因数是素数。 则原命题可表示为：PQ。或：设P1：这个数大于1。P2：这个数是整数。Q：这个数的大于1 最小因数是素数。 则原命题可表示为：P1 P2Q。(2) 设P：王琳是学生。Q：王琳是党员。R：
2、王琳能严格要求自己。S：王琳会得到大家的尊敬。 则原命题可表示为：P QR S。(3) 设P：小王富有。Q：小王很快乐。 则原命题可表示为：P Q。(4) 设P：逻辑学枯燥无味。Q：逻辑学毫无价值。 则原命题可表示为：( PQ)。(5) 设P：我现在乘公共汽车。Q：我现在坐飞机。 则原命题可表示为：PQ。(6) 设P：天有雾。Q：他搭船过江。R：他乘车过江。 则原命题可表示为：P QR。2. 设P：天下雪。 Q：我将进城。 R：我有时间。将下列命题形式化：(1) 天不下雪，我也没有进城。(2) 如果我有时间，我将进城。(3) 如果天不下雪而我又有时间的话，我将进城。解：原命题可分别表示为：(1
3、) P Q。(2) RQ。(3) P RQ。3. 将P、Q、R所表示的命题与上题相同，试把下列公式翻译成自然语言：(1) RQ(2) (RQ)(3) Q(RP)(4) (QR)(RQ)解： (1) 原公式可翻译为：我有时间而且我将进城。(2) (RQ) RQ。原公式可翻译为：我没有时间也没有进城。(3) 我将进城当且仅当我有时间而且天不下雪。(4) (QR)(RQ) ) (QR) (Q R) QR。原公式可翻译为：如果我进城，我就有时间；如果我有时间，我就进城。或：我进城而且我有时间，或者我没有进城而且我也没有时间。或：我进城当且仅当我有时间。4. 构造下列命题公式的真值表：(1) Q(PQ)
4、P(2) (PQ)(RQ)R(3) (PQ)(QR)(PR)(4) (P(PQ)R)(QR)解：(1) Q(PQ)P是含二个变元的三层复合命题，其真值表如下表所示：PQPQQ(PQ)Q(PQ)P001010111010001111115. (PQ)(RQ)R是含三个变元的四层复合命题，其真值表如下表所示：PQRQRQPQ(PQ)(RQ)(PQ)(RQ)R00010001001100010100000101101011100101101011011111000001111010116. (PQ)(QR)(PR) 是含三个变元的三层复合命题，其真值表如下表所示：PQRRPQQR(PQ)(QR)P
5、R(PQ)(QR)(PR)0001001000010011000101111000110111001001100111010111001101111111110111007. 记(P(PQ)R)(QR) 为A，它是含三个变元的三层复合命题，其真值表如下表所示：PQRPQRPQQRP(PQ)(P(PQ)RA000111000110011100001101010101011011100000111000111010010101010111110001011018. 19. 110. 111. 012. 013. 014. 015. 016. 117. 118. 119. 判断下列命题公式中哪些是重
6、言式？哪些是矛盾式？哪些既不是重言式又不是矛盾式？(5) (PQ)(QP)(6) (Q(PQ)(PQ)(7) (PQ)(QP)(PQ)(8) Q(PQ)(PQ)(9) (PQ)(PQP)(10) (PQ)(RS)(PRQS)(11) 解：(1) (PQ)(QP) 是含二个变元的三层复合命题，其真值表如下表所示：PQPQPQQP(PQ)(QP)001111101101111001001110011120. 所以(PQ)(QP) 是重言式。21. (Q(PQ)(PQ) 是含二个变元的三层复合命题，其真值表如下表所示：PQPQQ(PQ)(Q(PQ)(PQ)00101011111000111111(1
7、2) 所以(Q(PQ)(PQ) 是重言式。(13) (PQ)(QP)(PQ) 是含二个变元的三层复合命题，其真值表如下表所示：PQPPQQPPQ(PQ)(QP)(PQ)(QP)(PQ)0011101001110101100010011101101022. 所以(PQ)(QP)(PQ)既不是重言式又不是矛盾式（或，是可满足式）。23. Q(PQ)(PQ) 是含二个变元的三层复合命题，其真值表如下表所示：PQQPQQ(PQ)PQQ(PQ)(PQ)0011011010111110100111101100(14) 所以Q(PQ)(PQ) 既不是重言式又不是矛盾式（或，是可满足式）。(15) (PQ)(
8、PQP) 是含二个变元的三层复合命题，其真值表如下表所示：PQPQPQPQP(PQ)(PQP)000111010011100011111111(16) 所以(PQ)(PQP) 是重言式。(17) 记(PQ)(RS)(PRQS) 为A，它是含四个变元的三层复合命题，其真值表如下表所示：PQRSPRQSPQRS(PQ)(RS)PRQSA0000001111100010111111001010101000011111111101000111111010101111110110111011101111111111100010011001001110111110101000001101111011111
9、1001111111110111111111110111011111111111111(18) 所以(PQ)(RS)(PRQS) 既不是重言式又不是矛盾式（或，是可满足式）。(19) 用推导法证明下列命题公式是等价的：(20) P(QP)P(PQ)(21) (PQ)(PQ)(PQ)(22) (PQ)(P(PQ)(PQ)(23) (PQ)(RQ) PRQ(24) P(QR)(PQ)(PR)(25) (QRS) (R PS) R(PQ)S(26) 证明：(27) P(QP)(PQ)P(28) (PQ)P(29) (PQ) P(30) (P P)Q(31) 1Q(32) 1(33) P(PQ) (PP) Q(34) 0 Q(35) 1(36) 所以P(QP)P(PQ)。(37) (PQ)(PQ) (QP)(38) (PQ) (QP)(39) (PQ) (QP)(40) (PQ)(Q P)(41) (PQ)(PQ)(42) (PQ)(P(PQ) (PQ) (P(PQ)(43) (PQ) (PP)Q)(44) (PQ) (PQ)(45) ( (PQ) Q) P(46) Q P(47) PQ(48) (PQ)(RQ)(PQ)(RQ)(49) ( (PQ)R)( (PQ)Q)(50) ( PR) (QR)
