命题逻辑的等值和推理演算.pptVIP

18. (P?R) ∧(Q?R)=(P∨Q)?R 左端说明的是由P而且由Q都有R成立。从而可以说由P或Q就有R成立, 这就是等式右端。 第30页，共73页。 2.2.3 置换规则 定理: 对公式A的子公式, 用与之等值的公式来代换便称置换。 置换规则 公式A的子公式置换后A化为公式B, 必有A = B。 当A是重言式时, 置换后的公式B必也是重言式。 置换与代入是有区别的。置换只要求A的某一子公式作代换, 不必对所有同一的子公式都作代换。 第31页，共73页。 2.2.4 等值演算举例 例1: 证明(?P∧(?Q∧R))∨(Q∧R)∨(P∧R) = R 证明: 左端= (?P∧(?Q∧R)) ∨((Q∨P)∧R) (分配律) =((?P∧?Q)∧R))∨((Q∨P)∧R) (结合律) =(?(P∨Q)∧R)∨((Q∨P)∧R) (摩根律) =(?(P∨Q)∨(Q∨P))∧R (分配律) =(?(P∨Q)∨(P∨Q))∧R (交换律) =T∧R (置 换) =R (同一律) 第32页，共73页。 例2: 试证 ((P∨Q)∧?(?P∧(?Q∨?R))) ∨(?P∧?Q)∨(?P∧?R) = T 证明: 左端=((P∨Q)∧(P∨(Q∧R)))∨?((P∨Q)∧(P∨