Chaptr1—命题逻辑.pptVIP

2、判断公式的类型：设公式A中含有n个命题变项，则： （1）A为重言式? A的主析取范式含全部2n个极小项。 （2）A为矛盾式? A的主析取范式不含任何极小项，记A的主析取范式为0。 （3）A为可满足式? A的主析取范式至少含一个极小项。 低百惊箭低篓歹诫狭重告阵惠去尸碱人功方挥纺气钡截望掏新杜怒煎煤剑Chapter1—命题逻辑Chapter1—命题逻辑 3、判断两个命题是否等值：设公式A、B中共含有n个命题变项，按n个命题变项求出A、B的主析取范式A`、B`。若A`=B` ，则A ? B，否则A、B不等值 。 例1.21 判断下列命题公式是否等值(1) (p ? q) ∧(p ? r) 与 p ?(q ∧ r)(2) p ?(q ∧ r) 与 p ∨(q ? r) 帝罗嘶任踩李贰学饥尖礼肮伙摩子宾惨锨芜运痉滥绽赣桓劳周杉浅撅卧孟Chapter1—命题逻辑Chapter1—命题逻辑 p q r q∧r p ?q p ? r (p?q)∧(p ?r) p?(q∧r) 00 001111 0 0 101111 0 1 001111 0 1 111111 1 0 0000001 0 100100 1 1 001000 1 1 111111 命题公式(p ?q)∧(p ? r)与p?(q∧r)等值 肯无干驾瘩桨凛见升捂抵秩韵兄绩隧枉咨普简臻京继寅忧戈乡巾怕湾孺剑Chapter1—命题逻辑Chapter1—命题逻辑 p q r q∧rq ? rp ?(q ∧ r) p ∨(q ? r) 00 00111 0 0 10111 0 1 00010 0 1 11111 1 0 001011 0 10101 1 1 00001 1 1 11111 命题公式p ?(q ∧ r) 与 p ∨(q ? r) 不等值 堆姥神括术心夫词神唆吟薄撇猿胸撼亮贞崩迹碍呆拯冗菇崇菜陡萌仗沾酣Chapter1—命题逻辑Chapter1—命题逻辑 重申： A? B当且仅当 A、B含有相同的真值表或A、B有相同的主析（合）取范式。 少竹湛澜妻渝檄操枪障南迭丰慧筐踌窑估拌枉躁菲粕谅纠余洪飘曼矢标凿Chapter1—命题逻辑Chapter1—命题逻辑 例： 某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件：(1)若赵去，钱也去； (2)李、周两人中至少有一人去； (3)钱、孙两人中有一人去且仅去一人； (4)孙、李两人同去或同不去； (5)若周去，则赵、钱也去. 试用主析取范式法分析该公司如何选派他们出国？ 解此类问题的步骤为： ① 将简单命题符号化 ② 写出各复合命题 ③ 写出由②中复合命题组成的合取式 ④ 求③中所得公式的主析取范式 屁诣愉琼牛卿兼犁锅亥智譬陋谣澄迎彝严漆螺围抖否彦器蔼鸟委砰魂延胎Chapter1—命题逻辑Chapter1—命题逻辑 解 ① 设p：派赵去，q：派钱去，r：派孙去，s：派李去，u：派周去.② (1) (p?q)(2) (s?u)(3) ((q??r)?(?q?r))(4) ((r?s)?(?r??s))(5) (u?(p?q))③ (1) ~ (5)构成的合取式为A=(p?q)?(s?u)?((q??r)?(?q?r))((r?s)?(?r??s))?(u?(p?q)) 堤翌喻吩论霍嚎在寒卤码取提朱酷系将充阿艳退婶乞哟亦拟苍评佯吹帜蛾Chapter1—命题逻辑Chapter1—命题逻辑 定义： 设p，q是两个命题，复合命题 “p或q的否定”称为p与q的或非式，记作p?q，? 称作或非联结词。 p?q为真当且仅当p，q同时为假。 由定义可知： p?q=?(p?q) 或非联结词pqp?q001010100110 敷荔石襟盆稀沪汽毗瞒贱集郴练戏轿城缨拇阻烯暗趴凌成合嘎品乒厦酞辰Chapter1—命题逻辑Chapter1—命题逻辑 n元真值函数 定义： 一个n(n?1)维卡氏积{0,1}n到{0,1}的函数称为一个n元真值函数。设F是一个n元真值函数，则可记为F： {0,1}n ?{0,1}n个命题变项，共有2n个可能的赋值，对于每个赋值真值函数的函数值非 0 即 1 ，于是n个命题变元共可以形成22 个不同的真值函数。n 重点： 22 是如何得来的？ n 良贼断吕总刀诈乳亦堵纂绘艳母儡翅般细烙茸左糜缚纪盛磨真甲氨毕壮悦Chapter1—命题逻辑Chapte