离散数学第1章课件PPT_高等教育出版社_屈婉玲_耿素云_张立昂主编要素.ppt

* * * * * * * * * * * * * * * * (1) A = (p?q) ??r 成真赋值:000,001,010,100,110; 成假赋值:011,101,111 p q r p?q ?r (p?q)??r 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 真值表1 * (2) B＝(q?p)?q?p 成真赋值:00,01,10,11; 无成假赋值 p q q?p (q?p)?q (q?p)?q?p 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 真值表2 * (3) C＝? (?p?q)?q的真值表 成假赋值:00,01,10,11; 无成真赋值 p q ?p ?p?q ? (?p?q) ? (?p?q)?q 0 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 真值表3 * 公式的类型 定义1.10 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式. 由例1可知, (p?q) ??r, (q?p) ?q?p, ? (?p?q) ?q 分别为非重言式的可满足式, 重言式, 矛盾式. 注意：重言式是可满足式，但反之不真. 真值表的用途: 求出公式的全部成真赋值与成假赋值, 判断公式的类型 * * 第一章 习题课 主要内容 命题、真值、简单命题与复合命题、命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 * 1. 将下列命题符号化 (1) 豆沙包是由面粉和红小豆做成的. (2) 苹果树和梨树都是落叶乔木. (3) 王小红或李大明是物理组成员. (4) 王小红或李大明中的一人是物理组成员. (5) 由于交通阻塞，他迟到了. (6) 如果交通不阻塞，他就不会迟到. (7) 他没迟到，所以交通没阻塞. (8) 除非交通阻塞，否则他不会迟到. (9) 他迟到当且仅当交通阻塞. 练习1 * 提示： 分清复合命题与简单命题 分清相容或与排斥或 分清必要与充分条件及充分必要条件 答案: (1) 是简单命题 (2) 是合取式 (3) 是析取式（相容或）(4) 是析取式（排斥或） 设 p: 交通阻塞，q: 他迟到 (5) p?q, (6) ?p??q或q?p (7) ?q??p 或p?q, (8) q?p或?p??q (9) p?q 或?p??q 可见(5)与(7)，(6)与(8) 相同（等值） 练习1解答 * 2. 设 p : 2是素数 q : 北京比天津人口多 r : 美国的首都是旧金山 求下面命题的真值 (1) (p?q)?r (2) (q?r)?(p??r) (3) (q?r)?(p??r) (4) (q?p)?((p??r)?(?r??q)) 0 练习2 1 0 0 * 3. 用真值表判断下面公式的类型 (1) p?r??(q?p) (2) ((p?q) ?(?q??p)) ?r (3) (p?q) ?(p?r) 练习3 * 练习3解答 (1) p?r??(q?p) 矛盾式 p q r q?p ?(q?p) p?r??(q?p) 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 * 练习3解答 (2) ((p?q) ?(?q??p)) ?r 永真式 1 1 1 1