本文解析了2019年10月真题中等值演算法的应用，包括命题(P↔Q)∨￢R的合取范式求解，并介绍了2021年4月的有效推理中CP规则的证明方法。涉及的知识点包括逻辑联结词、公式转换和演绎推理技巧。
2019年10月真题
27. 用等值演算法求命题(P↔Q) ∨ ￢R主合取范式， 并指出公式的类型。
分析： 要解答这个题目， 前提必须熟记
A ↔B ⇔ (￢A∨B) ∧( A∨￢B)
A↔B ⇔ (A∧B) ∨ (￢A∧￢B)
解：
~~~~~~~~~~~~~~~~~~
这里提及一个重要公式， A ㊉ B = （A-B）∪ (B-A）
也可以转化为 A ㊉ B = （A∪B）— (A∩B)
2021年4月 真题
24题 用 CP规则证明下面有效推理。
前提： P → (Q→R), S→P, Q
结论： S → R
证：
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
