数理逻辑蕴含_数理逻辑（2）——命题逻辑的等值、范式和推理演算

学习阶段：自由。

前置知识：命题逻辑的基本概念。

tetradecane：数理逻辑（1）——命题逻辑的基本概念​zhuanlan.zhihu.com

1. 等值的定义

对于两个命题公式

和

，而

是出现在

与

中的所有命题变项，那么公式

和

各有

个解释。

若公式

和

的所有解释完全相同，称

和

是

等值/等价的，记作

或

.

【注意，这里的

和

符号不是命题联结词，只是描述命题之间的某种特殊关系。就好比1+2=3中的=号不是运算符一样。】

显然，验证任何两个公式是否等值，可以用真值表。

例如，证明

，用真值表证明如下：

真值表证明

上式等号右边不含

，也就说明等号左边与

无关。

等值定理：对于公式

和

，

当且仅当

是重言式。

这是一个显然的结论，证明非常简单：

，当且仅当

与

的所有解释相同，当且仅当

恒为1。

2. 基本等值公式

基本等值公式举例：

2.1 双重否定律

2.2 结合律

2.3 交换律

2.4 分配律

2.5 反演律/摩根律

还有恒等律

、同一律

、零律

、补余律

等等，基本上都很显然、很好理解。

2.6 逆用等值公式证明吸收律