3aolm离散数学.pptVIP

1.3 命题公式与翻译 1.3.1 命题公式的定义 定义1.6 命题演算的合式公式 Wff(Well formed formula)，又称命题公式（简称公式），是如下递归定义的： 1. 命题变元和命题常元是命题公式； 2. 如果 A 是命题公式，那么 ﹁A 也是命题公式 ; 3. 如果A, B都是命题公式，那么(A∧B ), (A∨B ), (A ?B ), (A ? B ) 都是命题公式 ; 4. 当且仅当有限次地应用 (1), (2), (3) 所得到的包含命题变元、联结词和括号的符号串是命题公式。 命题公式: P, (﹁P ), (P ? (P∨Q )), ((﹁P∧Q )∧P ), ((P ? Q ) ?R ) 不是命题公式: (∨P ), (P ?Q, (P ∨Q ) ? R ) 定义1.7 如果一个命题公式中总共包含有 n 个不同的命题变元，则称其为 n 元命题公式。 我们作如下约定： (1) 省去最外层括号，如(﹁P ), (P ?Q)可以分别写为﹁P和P ?Q； (2) 规定5个联结词运算的优先级顺序为：﹁, ∧, ∨, ?, ?； (3) 同级的联结词，按其出现的先后次序（从左到右）。 1.3.2 真值表 定义1.8 设 P 是一个命题公式，P1, P2, … , Pn 是出现在 P 中的所有命题变元，对于这些命题变元真值指派的每一种可能的组合，都能唯一地确定 P 的真值，将每一种组合及由此组合确定的 P 的真值作为表的一行，就构成了命题公式 P 的真值表。 【例1.17】试构造公式 ﹁P ∨Q 的真值表。 解： 【例1.18】试构造公式 P ?Q∨R 的真值表。 解： 1.3.3 命题的翻译 自然语言中具有确定真值的陈述句都是命题。将一个用文字叙述的命题写成由命题标识符、联结词和圆括号表示的命题公式的过程，称为命题的符号化，或称为命题的翻译。 大概步骤如下： (1) 找出命题中所包含的原子命题并用命题符号表示； (2) 确定命题中的连词对应的联结词； (3) 用正确的语法将原命题表示成由原子命题、联结词和圆括号组成的命题公式。 【例1.19】虽然这一次你取得了第一名，但这并不代表你永远是第一名。 解：设各命题变元为： P：这一次你取得了第一名 Q：这代表你永远是第一名 原命题可表示为：P∧﹁Q。 【例1.20】她不但外表美而且心灵美 解：本例中的“不但…而且…”的意义是合取的意思，若设 P：她的外表美 Q：她的心灵美 原命题可表示为：P∧Q。 1.4 命题公式的等价、蕴含 1.4.1 重言式和矛盾式 在推理时所引用的公理和定理都是重言式。 定义1.9 设 A 是一个命题公式，P1, P2, … , Pn 是出现在 A 中的所有命题变元。如果对于 P1, P2, … , Pn的每一种可能的真值指派，A 的真值都是 T，则称 A 是重言式（永真式）。如果对于 P1, P2, … , Pn 的每一种可能的真值指派，A 的真值都是F，则称 A 是矛盾式（永假式）。 永真式的否定是永假式，永假式的否定是永真式。 【例1.24】利用列真值表的方法可判断出P ∨﹁P是重言式，P ∧﹁P是矛盾式，P ? (Q ?P )是重言式。 定理1.1 若 A，A ?B 均为重言式，则 B 也是重言式。 证明：假设 A 与 A ?B 均为重言式但 B 不是，那么对于包含在 A 或 B 中的全体命题变元来说，存在一个真值指派使得 B 取真值 F。 然而此真值指派使 A 取值为 T，从而 A?B 在此真值指派下取值为 F，与假设 A ?B 是重言式相矛盾，故 B 一定是重言式。 可满足式：相对于重言式和矛盾式而言，若某个公式 A 至少在某一组真值指派下的真值为 T，则称 A 是可满足的。显然，重言式一定为可满足式，可满足式一定不是矛盾式。 定理1.2 设 A 是含有命题变元 P1, P2, …, Pn的公式，而 A1, A2, …, An 为任意公式。若 A为重言式，则在 A 中将 Pi 出现的每一处都代以Ai ( 1≤i≤n )后得到的公式 B 也是重言式。 证明：对于包含在 A1, A2, …, An 中的所有命题变元的任何一种真值指派