离散数学是研究离散数量关系和离散结构数学模型及数学.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * 命题变项与合式公式 命题常项：表示具体命题及表示常命题的统称 命题常项 命题变项（命题变元）：以“真、假”或“1，0”为取值范围的变元，它未指出符号所表示的具体命题 . 常项与变项均用 p, q, r, …, pi, qi, ri, …, 等表示. 定义1.6 合式公式（简称公式）的递归定义： (1) 单个命题变项和命题常项是合式公式, 称作原子命题公式 (2) 若A是合式公式，则 (?A)也是 (3) 若A, B是合式公式，则(A?B), (A?B), (A?B), (A?B)也是 (4) 只有有限次地应用(1)—(3) 形成的符号串才是合式公式 约定公式最外层和不影响运算次序的括号可省去. * 合式公式的层次 定义1.7 (1) 若公式A是单个命题变项，则称A为0层公式. (2) 称 A 是 n+1(n≥0) 层公式是指下面情况之一： (a) A=?B, B 是 n 层公式； (b) A=B?C, 其中B,C 分别为 i 层和 j 层公式， 且 n=max(i,j)； (c) A=B?C, 其中 B,C 的层次及 n 同(b)； (d) A=B?C, 其中B,C 的层次及 n 同(b)； (e) A=B?C, 其中B,C 的层次及 n 同(b). (3) 若公式A的层次为k, 则称A为k层公式. 例如 公式 A=p, B=?p, C=?p?q, D=?(p?q)?r, E=((?p?q) ?r) ?(?r?s) 分别为0层，1层，2层，3层，4层公式. * 定义1.8 设p1, p2, … , pn是出现在公式A中的全部命题变项, 给p1, p2, … , pn各指定一个真值, 称为对A的一个赋值或解释. 若使A为1, 则称这组值为A的成真赋值; 若使A为0, 则称这组 值为A的成假赋值. 几点说明： A中仅出现 p1, p2, … , pn，给A赋值?=?1?2…?n是指 p1=?1, p2=?2, …, pn=?n, ?i=0或1, ?i之间不加标点符号 A中仅出现 p, q, r, …, 给A赋值?1?2?3…是指 p=?1, q=?2 , r=?3 … 含n个命题变项的公式有2n个赋值. 如 000, 010, 101, 110是?(p?q)?r的成真赋值 001, 011, 100, 111是成假赋值. 公式赋值 * 定义1.9 将命题公式A在所有赋值下取值的情况列成表, 称作 A的真值表. 构造真值表的步骤: (1) 找出公式中所含的全部命题变项p1, p2, … , pn(若无下角标 则按字母顺序排列), 列出2n个全部赋值, 从00?0开始, 按 二进制加法, 每次加1, 直至11?1为止. (2) 按从低到高的顺序写出公式的各个层次. (3) 对每个赋值依次计算各层次的真值, 直到最后计算出公式 的真值为止. 真值表 * 例6 写出下列公式的真值表, 并求它们的成真赋值和成假 赋值: (1) (p?q) ??r (2) (q?p) ?q?p (3) ? (?p?q) ?q 真值表 * (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