命题逻辑习题参考解答.docVIP

命题逻辑 参考答案及提示 1.（1）是命题，真值为1 （2）不是命题 （3）是命题，真值视具体情况而定 （4）不是命题 （5）是命题，真值为1 （6）是命题，真值为1 （7）是命题，真值为0 （8）不是命题 （9）是命题，真值视具体情况而定 （10）不是命题 2.（1）不是命题 （2）不是命题 （3）不是命题 （4）是命题。令P：所有的人都是要死的；Q：所有的人都怕死，则命题可符号化为：可表示为P((Q （5）是命题。令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：P(Q （6）是命题。令P：我明天去苏州；Q：我后天去苏州，则命题可符号化为：((P(Q) （7）是命题。令P：我明天去北京；Q：我明天去天津；R：我后天去北京；S：我后天去天津，则命题可符号化为：P(Q(R(S （8）是命题。令P：我买到飞机票；Q：我出去，则命题可符号化为：(P((Q （9）是命题。令P：他余款多；Q：他出门；R：他买书，则命题可符号化为：(P(Q(R) (((P(Q(R) （10）是命题。令P：你陪伴我；Q：你代我雇车；R：我去，则命题可符号化为：R( (P(Q) （11）是命题。令P：你充分考虑了一切论证；Q：你得到了可靠见解，则命题可符号化为：(P(Q)((Q(P)或P(Q （12）是命题。令P：我懂得希腊文；Q：我了解柏拉图，则命题可符号化为：(Q(P)( (Q （13）是命题。令P：你去；Q：他去；R：我去，则命题可符号化为：(P(R)((Q(R) (((P(R)(((Q(R) （14）是命题。令P：上午下雨；Q：我去看电影；R：我在家里看书；S：我在家里看报，则命题可符号化为：((P(Q)((P((R(S)) （15）是命题。令P：我今天进城；Q：下雨，则命题可符号化为：P((Q （16）是命题。令P：你走；Q：我留下，则命题可符号化为：P(Q （17）是命题。令P：某一个数是素数；Q：某一个数能被1整除；R：某一个数能被它自身整除；则命题可符号化为：P(Q(R 3.（1）不是命题公式。 （2）不是命题公式。 （3）是命题公式。 P Q P(Q (P(Q)(P P((P(Q) 0 0 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 （4）是命题公式。真值表见上表。 （5）是命题公式。 P (P P((P ((P((P) 0 1 1 0 1 0 1 0 （6）是命题公式。 P Q P(Q P((P(Q) P((P(Q)(Q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 （7）是命题公式。 P Q (Q P(Q P((P(Q) P((Q P((P(Q)((P((Q) 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 （8）是命题公式。 P Q (P (Q P(Q (Q((P (P(Q)(((Q((P) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 （9）是命题公式。 P Q (P (Q P(Q ((P(Q) (Q((P ((P(Q)((Q((P 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 （10）是命题公式。 P Q (P (P(Q P(Q ((P(Q)((P(Q) 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 （11）是命题公式。 P Q R P(Q Q(R P(R (P(Q)((Q(R) ((P(Q)((Q(R))((P(R) 0 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 （12）是命题公式。 P Q R P(Q P(Q(R (P(R)((Q(R) ((P(Q)(R)(((P(R)((Q(R)) 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 4.（1）成真指派：(0,0),(0,1),(1,0),(1,1)； 成假指派：无 （2）成真指派：(0,0),(0,1),(1,1)；