命题逻辑公式的等值置换.pdfVIP

计算机科学MOOC课程群 计算机科学MOOC课程群 离散数学基础 离散数学基础 • 本节内容提要  − 命题公式的等值置换规则  − 命题公式的重言代入规则  这一单元讨论命题公式的等值变换,包括等值置换规则和重言代入规则,  目的仍然 是实现命题公式的等价变形    在正式引入置换规则之前,先看一个关于子式的概念.    • 定义：合式公式的子式  − 如果合式公式 A  的一个子串 X  也是合式公式，则称 X 是 A  的一个子式。  − 也就是说,在合式公式A的构造过程中的任何一个中间结果,都是A 的一个子式  • 定理：置换规则  − 设 X  是合式公式 A  的一个子式，Y 是一个合式公式且Y⇔X 。则将 A  中的子 式 X  置换成 Y 得到的新的式子  B仍为一个合式公式且  B⇔A 。    − 置换规则也称替换规则，或等价替换定理。定理的证明并不困难.考虑之前讨 论的合式公式的真值定义，由于X和Y等价，在变量表的任一解释下，  子式X 和Y 取得相同的真值, A和B也将得到相同的真值计算结果，定理得到证明  − 例：利用置换规则证明  P→(Q→R) ⇔ Q→(P→R)     证明：  (1) Q→R ⇔ ¬Q∨R      蕴涵等值式  (2) P→(Q→R) ⇔ P→(¬Q∨R)   置换规则  (1)/(2)  (3) P→(¬Q∨R) ⇔ ¬P∨(¬Q∨R)   蕴涵等值式  (4) P→(Q→R) ⇔ ¬P∨(¬Q∨R)   传递性  (2)(3)  (5) ¬P∨(¬Q∨R) ⇔ (¬P∨¬Q)∨R   结合律  (6) P→(Q→R) ⇔ (¬P∨¬Q)∨R   传递性  (4)(5)  (7) ¬P∨¬Q ⇔ ¬Q∨¬P      交换律  (8) (¬P∨¬Q)∨R ⇔ (¬Q∨¬P)∨R   置换规则(7)/(8)  (9) P→(Q→R) ⇔ (¬Q∨¬P)∨R   传递性(6)(8)  (10) (¬Q∨¬P)∨R ⇔ ¬Q∨(¬P∨R)  结合律  (11) P→(Q→R) ⇔ ¬Q∨(¬P∨R)   传递性(9)(10)  (12) ¬P∨R ⇔ P→R      蕴涵等值式  (13) ¬Q∨(¬P∨R) ⇔ ¬Q∨(P→R)  置换规则(12)/(13)  (14) P→(Q→R) ⇔ ¬Q∨(P→R)   传递性(11)(13)  (15) ¬Q∨(P→R) ⇔ Q→(P→R)   蕴涵等值式  (16) P→(Q→R) ⇔  Q→(P→R)  传递性(14)(15)  − 我们分析一下这个证明结构.从一个初始的等值式开始，利用等值的对称性和 传递性，加上命题定律和置换规则进行等值变形，尝试获得最终的结果等值变 形的依据列明在右侧  − 第1行是一条命题定律.将第2行左边公式P→(Q→R)的一个子式  (Q→R) 利用第 1行的等值式替换成(¬Q∨R),得到第2行右边的公式. 按照置换规则,第2行的等 值式成立.按照这样的思路一直走下去，寻求最后欲证明的结果。  − 用递等式简化证明的书写          P→(Q→R) ⇔ P→(¬Q∨R) 蕴涵等值式         ⇔ ¬P∨(¬Q∨R)  蕴涵等值式         ⇔ (¬P∨¬Q)∨R  结合律         ⇔ (¬Q∨¬P)∨R  交换律          ⇔ ¬Q∨(¬P∨R)  结合律          ⇔ ¬Q∨(P→R)  蕴涵等值式          ⇔ Q→(P→R)  蕴涵等值式  − 我们约定使用递等式来简化上述证明的书写.等值置换规则被默认为递等式,右 边加上本次等值变形所用到的等值