命题逻辑题解.docVIP

计算机数学基础(1)形成性考核册 作业1第1章　命题逻辑题解 一、单项选择题 1. 下列语句是真命题为( )． A. 我正在说谎　　 B.　如果1+2=3，则雪是黑的　　 C. 如果1+2=5，则雪是黑的　 D. 你上网了吗？ 答案：C 解答：A. 我正在说谎，这是勃论．“我正在说”的真值应是1，但是说的是错话，真值为0．故是勃论． B.　这是蕴涵式．令P：1+2=3，真值为1；Q：雪是黑的，真值为0，于是1(0(0．“如果1+2=3，则雪是黑的”是假命题． C. 令P：1+2=5，真值为0；Q：雪是黑的，真值为0，于是0(0(1．于是“如果1+2=5，则雪是黑的”是真命题．选项C正确． D. 这是疑问句，不是命题． 2. 命题公式P((Q(P)为( )． A. 重言式　　B.　可满足式　　C.　矛盾式　　D.　等值式 答案：A． 解答：P((Q(P)((P(((Q(P)(((P(P)(Q(1．故选择A． 二、填空题 1. P,Q为两个命题，当且仅当 时，P(Q的真值为1，当且仅当　　　时，P(Q的真值为0． 答案：P(1(Q(1 (或P的真值为1且Q的真值为1)；P(0(Q(0． 解答：见教材关于合取(与析取(的真值表． 2. 给定两个命题公式A，B，若　　　　，则称A和B时等值的，记作A(B． 答案：A(B(1 解答：见教材“等值”的定义． 3. 任意两个不同极小项的合取为　　　　，全体极小项的析取式为　　　　式． 答案：永假式；永真． 解答：见教材第22页的两条性质． 三、计算题 1. 将下列命题符号化； (1) 李强不是不聪明，而是不用功． (2) 如果天不下雨，我们就去郊游． (3) 只有天不下雨，我们才去郊游． 解答：(1) 令P：李强聪明，Q：李强用功． 原命题符号化为“(((P)((Q” (2) 令P：天下雨；Q：我们去郊游． 原命题符号化为“(P(Q” (3) 令P：天下雨；Q：我们去郊游． 原命题符号化为“Q((P” 2. 给出下列公式的真值表； (P(Q(R)(P(Q((R； (2) ((P(Q)((Q(R)(((P((R) 解　(1) 　命题公式(P(Q(R)(P(Q((R 的真值表 P Q R P(Q P(Q(R (R P(Q((R (P(Q(R)(P(Q((R 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 (2) 命题公式((P(Q)((Q(R)(((P((R)的真值表 P Q R (P(Q Q(R P((R ((P((R) ((P(Q)((Q(R)(((P((R) 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 1 1 0 1 1 3. 给P和Q指派真值1，给R和S指派真值0，试给出下列命题的真值： (1)P((Q(R). 解　P((Q(R)(1((1(0)(1(0(1 4. 判断下列命题公式的类型： (1)　P((P(Q(R)． 解　P((P(Q(R)((P(P(Q(R(1 6. 通过求命题公式(P(Q)(R的主合取范式，求其真值为0的真值指派． 解　方法1．等值演算法． (P(Q)(R(((P(Q)(R(((P((Q)(R(((P(R)(((Q(R) (((P((Q((Q)(R)(((P((P)((Q(R) ( ( (M4(M6(M2 命题公式(P(Q)(R的成假赋值为：(1，0，0)，(1，1，0)，(0，1，0)． 注：由此马上可以得到命题公式(P(Q)(R的主析取范式为 　　　　　　　(P(Q)(R(m0(m1(m3(m5(m7 (((P((Q((R)(((P((Q(R)( ((P(Q(R)( (P((Q(R)( (P(Q(R) 方法2．列真值表法 　　　　　　　　　　命题公式(P(Q)(R的真值表 P Q R P(Q P(Q(R 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0　 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 取命题公式(P(Q)(R为0的析取项的合取为所求主合取范式(表中末列的第3,5,7行)： (P(Q)(R( 取命