离散数学讲义课件.ppt

1.2 命题公式及其赋值 真值表：A所有赋值列成表 真值表构造： 找出A中命题变项：p1,…pn 列出2n个赋值（2进制加法形式） 从低到高写成公式各个层次 各个赋值：计算各层的真值 1.2 命题公式及其赋值 例：?((p?q)?p) p q p?q (p?q)?p ?((p?q)?p) 0 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 0 1.2 命题公式及其赋值 例：(p ? q) ?(p?q??p??q) p q ?p ?q p ? q p?q??p??q 公式 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1.2 命题公式及其赋值 命题公式分类：A 重言式(永真式)：v(A)=T，对任意v 矛盾式(永假式)：v(A)=F，对任意v 可满足式：v(A)=T，对某个v 关系 重言式是可满足式，反之不一定成立 真值表判断 重言式：真值表最后一列全为T 矛盾式：真值表最后一列全为F 可满足式：真值表最后一列至少一个T 1.2 命题公式及其赋值 真值表有限性：给定n个命题变项 共有22n个真值表 例题：下列哪些具有相同真值？ p?q q?p ?(p??q) (p?q)??p 1.2 命题公式及其赋值 例题 p q p?q q?p ?(p??q) (p?q)??p 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 1 0 1.2 命题公式及其赋值 例题：下列哪些具有相同真值？ p?q p?(?q?r) (?p?q)?((p?r)?p) 1.2 命题公式及其赋值 例题 p q r p?q p?(?q?r) (?p?q)?((p?r)?p) 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 第一章 习题课 主要内容 命题、真值、简单命题与复合命题、命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 1. 将下列命题符号化 (1) 苹果树和梨树都是落叶乔木 (2) 王小红和李大明组成一个物理小组 (3) 王小红或李大明是物理组成员 (4) 王小红或李大明中的一人是物理组成员 (5) 只要天冷，小王就穿羽绒服 (6) 因为天冷，所以小王穿羽绒服 (7) 若小王不穿羽绒服，则天不冷 (8) 只有天冷，小王才穿羽绒服 (9) 除非天冷，小王才穿羽绒服 (10)除非小王穿羽绒服，否则天不冷 (11)如果天不冷，则小王不穿羽绒服 (12)小王穿羽绒服当且仅当天冷的时候 练习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 3. 用真值表判断下面公式的类型 (1) p?r??(q?p) (2) ((p?q) ?(?q??p)) ?r (3) (p?q) ?(p?r) 练习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 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 ((p?q) ?(?q??p)) ?r ?q??p p?q p q r 练习3解答 p q r