《数理逻辑1.3.pptVIP

1.3　命题公式间的逻辑等价关系 1.3.1 基本概念 1.3.2 替换定理 1.3.3 代入定理 1.3.4 逻辑等价变换 1.3.5 联结词归约与范式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.1 基本概念 定义1　设 ?,? 是两个命题公式。如果对于 ? 与 ? 的合成变元组(即这两个公式所有不同命题变元合在一起)的任意指派 ?，均有 ?(?) = ?(?) 则称 ? 与 ? 逻辑等价，也称永真等价或同真假。记为 ? ? ? 。 判断两个命题公式逻辑等价的第一种方法是使用真值表。先将?与?的合成变元组的各种指派和?与?在各种指派下的真假值写在同一张表上，然后检验?与?的相应位置上的真值是否相同。 例如，利用真值表即可验证命题公式P?Q与命题公式P?(P?Q)逻辑等价。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. ??P ? P P?P ? P , P?P ? P (P?Q)?R ? P?(Q?R) (P?Q)?R ? P?(Q?R) P?Q ? Q?P , P?Q ? Q?P P?(Q?R) ? (P?Q)?(P?R) P?(Q?R) ? (P?Q)?(P?R) ?(P?Q) ? ?P??Q ?(P?Q) ? ?P??Q P?F ? P , P?T ? P P?T ? T , P?F ? F P??P ? T , P??P ? F P?Q ? ?P?Q P?Q ? (P?Q)?(Q?P) 双重否定律 幂等律 结合律 交换律 分配律 De Morgan律 同一律 零律 否定律 联结词归约 基 本 逻 辑 等 价 式 请用真值表验证各个逻辑等价公式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 研究两个命题公式之间逻辑等价关系的方法之二是利用命题公式的永真性。 定理1　设?, ?为命题公式，? ? ?当且仅当 ???为永真公式。 命题公式间的逻辑等价关系具有： 1) 自反性： ? ? ? ； 2) 对称性：若? ? ? ，则? ? ? ； 3) 传递性：若? ? ?且? ? ? ，则? ? ? 。 应当指出的是，两个命题公式逻辑等价与两个命题公式相等是有所区别的。前者是指结果相同，后者是指形式相同(当然结果必相同)。因此相等比逻辑等价的要求更高。以后仍用“＝”表示相等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1.3.2　替换定理 定义2　设?命题公式，?是命题公式?的一部分且?是命题公式，则称?是?的子命题公式。 定义3　设?是命题公式，若将?的子命题公式?用另一命题公式?替换，则称替换后产生的命题公式?是?关于?替换为?的结果。 利用替换，可以将原有的命题公式改造成新的命题公式。 例如，命题公式?P?(P?(P?Q))关于P?(P?Q)替换为P?Q的结果为?P?(P?Q) 。 替换定理　设?是?关于?替换为?的结果。如果 ? ? ? ，则? ? ? 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 引理 设?1, ?2, ?1, ?2均为命题公式。若?1 ? ?1 , ?2 ? ?2 , 则 1) ? ?1 ? ? ?1 2) ?1 ? ?2 ? ?1 ? ?2 3) ?1 ? ?2 ? ?1 ? ?2 4) ?1 ? ?2 ? ?1 ? ?2 5) ?1 ? ?2