离散数学第一张讲义讲述.pptVIP

* * * * * * * * * * * * * * * * * 公式的类型 根据公式在各种赋值下的取值情况，可以按照下述定义将命题公式进行分类： 定义1.10 设A为任一命题公式 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式. 真值表的用途: 求出公式的全部成真赋值与成假赋值, 判断公式的类型 * 公式的类型 从定义不难看出以下几点： 1、A是可满足式的等价定义是：A至少存在一个成真赋值 2、重言式一定是可满足式，但反之不真。若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。 3、真值表可以用来判断公式的类型。 最后一列全为1（重言式），全为0（矛盾式），至少有一个为1（可满足式） 由例1可知, (p?q) ??r, (q?p) ?q?p, ? (?p?q) ?q 分别为非重言式的可满足式, 重言式, 矛盾式. * 从定义不难看出以下几点： 给定n个命题变项，按照合式公式的形成规则，可以形成无穷多种形式各异的公式，但这些公式的真值表不是无穷多种，而是22n种不同的情况 例1.9 下列各公式均含两个命题变项p或q，计算看它们中哪些具有相同的真值表 （1） p?q （2） p ?q （3） ?（p ? ?q） （4） （p?q） ?（ q?p ） （5） ?q ?p * 设公式A、B中共含有命题变项p1, p2, … , pn，而A或B不全含这些命题变项，如A中不含pi+1, pi+2, … , pn ，i=2, 称这些命题变项为A的哑元，A的取值与哑元无关，如此在讨论A与B是否有相同的真值表时，可以将A，B都看成含p1, p2, … , pn的命题公式 例1.10 下列公式中，哪些具有相同的真值表 （1） p?q （2）?q ?r （3）(?p ?q) ?((p ? r) ?p) （4） (q?r) ?(p?p) * 第一章 习题课 主要内容 命题、真值、简单命题与复合命题、命题符号化 联结词?, ?, ?, ?, ?及复合命题符号化 命题公式及层次 公式的类型 真值表及应用 基本要求 深刻理解各联结词的逻辑关系, 熟练地将命题符号化 会求复合命题的真值 深刻理解合式公式及重言式、矛盾式、可满足式等概念 熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型 * 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