离散数学第1章命题演算基础＿真假性.pptVIP

第一章 命题演算基础 1.1 命题和联结词 1.2 真假性 1.2.1 解释 1.2.2 等价公式 1.2.3 联结词的完备集 1.2.4 对偶式和内否式 1.3 范式及其应用 对偶式的定义 定义：将任何一个不含蕴含词和等价词的命题演算公式?中的 ? 换为 ?， ? 换为 ? 后所得的公式称为?的对偶式，记为?*。 例 已知公式 ? = ?P?（Q?（R??S））, 则 ?*= ?P?（Q?（R??S）） (?*)*= ?P?（Q?（R??S）） 例 求如下公式 ? 的对偶式： ? =(P?R)? (?P ?(Q ??R)) 解： P?Q= ?P?Q P?Q= (P ?Q) ?(?P ?Q) ? =(?P?R)?((?P?Q??R)?(P??(Q ??R))) ?* =(?P?R)?((?P?Q??R)?(P??(Q ??R))) 注意：求合式公式的对偶式时，应先消去公式中的蕴含词和等价词。 内否式的定义 定义：将任何命题演算公式?中的所有 肯定形式换为否定形式、 否定形式换为肯定形式 后所得的公式称为?的内否式，记为? ?。 例 如公式 ? = ?P ?（Q ?（R ??S）） 则 ? ? = P ?（?Q?（?R ? S）） （? ? ） ? = ?P?（Q ?（R ??S））= ? 例 ? =(P?R)? (?P ?(Q ??R)) 求公式?的对偶式与内否式。 解： P?Q= ?P?Q P?Q= (P ?Q) ?(?P ?Q) ? =(?P?R)?((?P ?Q ??R)?(P??(Q ??R))) ?* =(?P ?R) ?((?P ?Q ??R) ?(P ??(Q ??R))) ?— =(P? ? R)?((P ? ? Q ?R)?(? P??(? Q ?R))) 例 ? = (?P?Q)∨((Q??R)∨?P) 试写出公式?的对偶式和内否式 解： 因为 P?Q= ?P?Q, 所以 ? = (P∨Q)∨((?Q∨?R)∨?P) 于是 ?* = (P∧Q)∧((?Q∧?R) ∧?P) ?- = (?P∨?Q)∨((Q∨R)∨P) 双重对偶式和内否式 性质1 （?*）* = ? （??）? = ? 例 ? = (P∨Q)∨((?Q∨?R)∨?P) ?* = (P∧Q)∧((?Q∧?R) ∧?P) (?*)* = (P∨Q)∨((?Q∨?R)∨?P) =? ?- = (?P∨?Q)∨((Q∨R)∨P) (?-)- = (P∨Q)∨((?Q∨?R)∨?P) =? 合取与析取的对偶式和内否式 性质2 (A ∨ B)* = A* ∧ B* (A ∨ B)— = A— ∨ B— (A ∧ B)* = A* ∨ B* (A ∧ B) — = A— ∧ B— 对偶式和内否式的否定 定理1(p9) ?（A*）=（?A）* ?（A?）=（?A）? 证明可以模仿定理2的证明进行，省略 约定在讨论对偶式和内否式的定理时，命题公式中仅含有?，?和?三个联结词，即应先消去公式中的蕴含词和等价词。 定理2(p9) ?A =A*? 证明：对公式A中出现的联结词的个数n进行归纳证明 奠基：当n=0时 A中无联结词，便有 A=P， 从而有 ?A=?P， 且A*=P ， 所以A*? = ?P= ?A，即定理成立。 归纳：设n?k时定理成立。 考察n=k+1?1，A中至少有一个联结词， 可分为下面三种情形： A