离散数学第一章命题演算基础-真假性.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))) 注意：求合式公式的对偶式时，应先消去公式中的蕴含词和等价