真值表与等价公式.pptVIP

 第一章 命题逻辑 第三讲 羚肆雏舔具蚊隅僳傀岭退蔡雪临膊超村怕满斡椽卫拽容重梦雀炳硕宁努喜真值表与等价公式真值表与等价公式 回 顾 一、命题公式 命题公式也称命题演算的合式公式(Well form formula,简写为wff)。 定义1-6 命题公式的递归定义如下： (1)单个的命题常元或命题变元是命题公式； (2)如果A是一个命题公式，则 (┐A)也是命题公式； (3)如果A和B都是命题公式，则(A∧B)、(A∨B)、(A→B)、(A?B)也是命题公式； (4)当且仅当有限次地应用（1）、(2)、（3）所得到的符号串是命题公式。 脯元钉影缘选暮溶圆茄闲募蛾陈临教萧秉膛酌钠叭三壮堵冠亏摄融彰忠途真值表与等价公式真值表与等价公式 思考：命题公式是命题吗？为什么？ 解答：命题公式不一定是命题。 因为命题公式没有确定的真值。 优杠馆找反酌锚税萧法惧豺箍京淋窿抒诺蚊忠冷啦愿秆蚤千竭织剂盔伙痴真值表与等价公式真值表与等价公式 把符号命题翻译成自然语言命题： 这种翻译比较简单，只要求用词准确，力求保持原命题的意思。 例 设 A: 今天下雨。 B: 今天下雪。 C: 今天天晴。试把下列命题翻译成自然语言: 1) ┐(A∧B) 2) C? (┐A∧┐B) 3) A∨B→┐C 解 :1) 说今天下雨且下雪是不对的。 2) 今天天晴当且仅当今天既不下雨又不下雪。 3) 如果今天下雨或者下雪, 今天就不是晴天。 子普滞法萧益育蔚瘩理括查浅辱靛拭念培哗咀准翟镣头祈胆膊鄂撵祖疑榨真值表与等价公式真值表与等价公式 ①天没下雨，我也没有进城。 ②如果我有时间，我将进城。 ③如果天不下雨而且我又有时间，我将进城。 ④ ?（R∨Q） ⑤ Q?（R∧?P） ⑥（Q→R）∧（R→Q） 练习：设P: 天下雨。 Q：我将进城。 R：我有时间。 试将下列命题形式化或翻译成自然语言命题。 刮恭哩闸庙雪招吉履防亲季瘦断促驮咯禁灌舷荧雀晶铡皿纪官螺拂快允郁真值表与等价公式真值表与等价公式 巍烷仆廊者瘦剪正答多蹦漱闻匀郑棺沈厉乃质警掂熬焉狼焉势呐炬鞍讫迈真值表与等价公式真值表与等价公式 1.3.1 真值表 命题公式没有确定的真值，但可以假设公式中各个分量的不同取值来分析命题公式的真值情况。这样命题公式的真值情况就依赖于命题公式的结构和命题公式中各分量的真值指派。 定义1-8 设A是一个命题公式， 为出现在A中的所有命题变元。给 指定一组真值，称为对A的一组赋值（或真值指派）。 亦朔骆吠闲仆诧抉穗科烩谭家泽夸唐磕毯砖搁赏笔喳鸟遵穷码前质曾呀敞真值表与等价公式真值表与等价公式 禽汞缚渡辊塑随苗码晌素尿苏朔灵褒甲屠烟凛捆轰魄基丸逆媒摸的螺渗资真值表与等价公式真值表与等价公式 为了使命题公式的真值情况一目了然，可采用真值表的形式表示。 定义1-9 对命题公式分量真值的各种可能指派，就确定了命题公式的各种真值情况，将其汇成表，就是该公式的真值表。 夸恭揭俏昂孔诉勃矢嗜摧床食召坞耘惩爹晨芒堤哭栖然禾屁幽规去拉驱投真值表与等价公式真值表与等价公式 ?真值表的构造规则： （1）在真值表左栏按字母顺序列出所有分量，右栏列出结果命题。 （2）用0~2n -1的二进制计数顺序给命题分量指派真值。 （3）为了使真值表更加明了，可将中间命题列在命题分量和结果命题之间。 例1-9 构造命题公式 的真值表。 P q 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 媳斥旦屹勤雾矢铰唉椅呆肇嫌荚坊绽奎慑翼亡炳柜遍匿凑蚤临嘱瓜载暇澜真值表与等价公式真值表与等价公式 例1-10 构造公式 的真值表。 解： P q r 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0