命题逻辑的等值演算.docVIP

命题逻辑的等值演算 这一讲讨论命题公式之间的等值关系，其中一些重要的等值关系将用于对命题公式进行等值运算和设计推理规则。 等值式 定义1.1 若命题公式A和B是恒等的布尔代数式，即在任何赋值下二者的值总相等，则称二者是等值的，记为 称为等值式。 注意，等值式不是逻辑公式，而是逻辑学的公式。 显然，A≡B当且仅当是永真公式。 等值关系的性质： 自反性：对任何公式A，都有。 对称性：若，则。 传递性：若且若，则。 例1.2 试证明下列等值式。 证明：当a=1时，左式==右式。 当a=0时，左式==右式。 因此，左式恒等于右式。 依定义，该等值式成立。 例1.3试证明下列等值式。 证明：当a=1时，左式=，右式=，两边相等。 当a=0时，左式=0，右式=0，两边相等。 因此，该等值式成立。 上述两例中的证明方法可以称为代数分析法。还有一种演算方法，可以将将左式等值地变形为右式。这种保持公式真值的演算称为等值演算。 等值演算规则：替换 等值演算是将当前公式中的某个子公式替换为与之等值的公式。替换在课本中称为置换，与抽象代数中的置换（permutation）是不同的概念。替换的定义如下。 定义3.1 设是一个命题公式，A是出现在其中某处的一个子公式。若用另外一个公式B替换中的A，则可得一个新公式，记为。我们称这种公式变形为替换（replacement）。 注意，这里A是指中某一处出现的子公式，不是中所有与A相同的子公式。例如，将 中第二次出现的子公式替换为p，得 定理3.2（替换原理）若，则。 证明：对公式的层次和最外层联结词用数学归纳法。略。 证毕 等值定律 在等值演算中，每一步替换都要应用一个等值式。常用的一些基本等值式可以用等值定律来描述。等值定律是等值式的共同模式，它在形式上与等值式相同，不过其中的变元表示任何命题公式，而不是命题。例如，下面的等值定律中变元A代表任何命题公式。 这条定律表明，若将其中的变元A统一替换为任意某个公式时，则所得的总是等值式。因此，例如，根据这条定律，可得下列等值式。 因此，等值定律是描述一批无限多个等值式的模式。 反之，根据任何等值式，都可以确定一条对应的等值定律，只要把其中的命题变元视为命题公式变元即可。为了证明这一点，我们引入如下概念。 定义3.1 设为含变元a的命题公式，将其中a的所有出现统一替换为某公式A，所得的公式记为。这种变形操作称为代入或代换（substitution）。 依定义3.3， 表示将中的a统一替换为0后所得的公式。类似地，我们可以确定的含义。 思考：试比较替换与代入的区别。 定理3.2（代入原理） 命题逻辑等值式在代入后仍然是等值式。 证明 设与是两个等值的命题公式，其中a是这两个公式中所含的一个变元。设A是任何命题公式。我们只需证明即可。首先，由可得且。设为A的任意赋值。若在赋值下A为真，则且，从而有。若在赋值下A为假，则且，从而有。因此，在任何赋值下，总有，所以根据定义我们有。 证毕 定理意义：代入原理表明代入操作不改变等值式的等值性，即对等值式进行代入操作后所得的任然是等值式。因此，一个等值式可推广为一条等值定律。 基本等值定律 下面这15组等值定律形式简单，但演算能力足够强大，与替换规则相配合，可以证明所有的等值式。 双重否定律 幂等律 交换律 结合律 分配律 读者可以尝试用代数分析法，论证上述各等值定律。 德摩根律 证明：用代数分析法证明第一条德摩根律如下。 （1）当A=1时，左边=，右边=，两边相等。 （2）当A=0时，左边=1，右边=1，两边相等。 （3）因此，根据等值定律定理，该等值定律成立。 第二条德摩根律可以类似证明。 证毕 吸收律 证明：用代数分析法很容易证明以上两条吸收律，略。 证毕 练习4.1 除了上面7个等值定律之外，常用的还有如下8条。建议读者用代数分析法逐个验证其正确性。 零律 同一律 10）排中律 11）矛盾律 12）蕴含表达式 13）等价表达式 14）逆反律 15）归谬律 等值演算