真值表与等价公式.pptxVIP

第一章 命题逻辑第三讲回 顾一、命题公式 命题公式也称命题演算的合式公式(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) 如果今天下雨或者下雪, 今天就不是晴天。练习：设P: 天下雨。 Q：我将进城。 R：我有时间。 试将下列命题形式化或翻译成自然语言命题。①天没下雨，我也没有进城。②如果我有时间，我将进城。③如果天不下雨而且我又有时间，我将进城。④ ?（R∨Q）⑤ Q?（R∧?P） ⑥（Q→R）∧（R→Q） 1.3.1 真值表 命题公式没有确定的真值，但可以假设公式中各个分量的不同取值来分析命题公式的真值情况。这样命题公式的真值情况就依赖于命题公式的结构和命题公式中各分量的真值指派。 定义1-8 设A是一个命题公式， 为出现在A中的所有命题变元。给 指定一组真值，称为对A的一组赋值（或真值指派）。 为了使命题公式的真值情况一目了然，可采用真值表的形式表示。 定义1-9 对命题公式分量真值的各种可能指派，就确定了命题公式的各种真值情况，将其汇成表，就是该公式的真值表。 ?真值表的构造规则： （1）在真值表左栏按字母顺序列出所有分量，右栏列出结果命题。 （2）用0~2n -1的二进制计数顺序给命题分量指派真值。 （3）为了使真值表更加明了，可将中间命题列在命题分量和结果命题之间。 例1-9 构造命题公式 的真值表。P q010010110 00 1 01 1 1 1 0 0例1-10 构造公式 的真值表。解：P q r0 0 00 0 10 1 00 1 10 01 0 11 01 1 10 10 00 10 00 10 0 11 0 1 0 1 0 1 0 1 101011011练习：Q∧(P→Q)→Q1．3．2 命题公式的分类 从真值表中可以发现，某些命题公式不论其分量真值作何指派，其真值总为真，或者总为假。例1-11 构造下列命题的真值表。 （1） （2） （3）解(1)p q p→qp∧(p→q)(p∧ (p→q))→q0 00 101 1 1 1 0 1 0 0 0 1 1 1 1 1 解（2） p q p→q ?(p→q) ?(p→q)∧ q 0 0 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0解（3）p q r p→q ?r ( p→q)∧?r0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 定理1-1 任何两个重言式的合取或析取仍然是一个重言式。证明：根据定义，因为任何重言式不论分量真值作何指派，其真值总为真，而两个真值为真的命题的合取或析取一定为真。 练习1.判别下列命题公式中哪些是重言式?矛盾式?偶然式?① (P→Q)?(?Q→?P)② (P→Q)∧(Q →P)→(?P∧Q) ③ (P?Q)→(P∧Q→P)1.3.3等价公式 从真值表中可以发现，两个有相同命题分量但结构不同的命题公式，对其分量真值的不同指派，其真值总相同，如： 例1-12 构造下列命题公式的真值表。 （1）构造命题公式 的真值表。