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

17. P?(Q?R) = Q?(P?R) 前提条件P、Q可交换次序。 第二十九页，共七十四页，2022年，8月28日 18. (P?R) ∧(Q?R)=(P∨Q)?R 左端说明的是由P而且由Q都有R成立。从而可以说由P或Q就有R成立, 这就是等式右端。 第三十页，共七十四页，2022年，8月28日 2.2.3 置换规则 定理: 对公式A的子公式, 用与之等值的公式来代换便称置换。 置换规则 公式A的子公式置换后A化为公式B, 必有A = B。 当A是重言式时, 置换后的公式B必也是重言式。 置换与代入是有区别的。置换只要求A的某一子公式作代换, 不必对所有同一的子公式都作代换。 第三十一页，共七十四页，2022年，8月28日 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 (同一律) 第三十二页，共七十四页，2022年，8月28日 例