数理逻辑课件 第6节 一阶逻辑等值演算与推理定律.pptVIP

* */30 主要内容: 一阶逻辑等值式 置换规则、换名规则、代替规则 前束范式 一阶逻辑的推理定律 第6节 一阶逻辑等值演算与推理定律 */30 6.1 一阶逻辑等值式与置换规则 定义1 设A, B是两个谓词公式, 如果A?B是永真式, 则称A与B等值, 记作A?B, 并称A?B是等值式。 判别谓词公式A与B等值的方法： 判别谓词公式A?B是永真式; 等值演算. 判别谓词公式A是永真式的方法： (命题公式)重言式的代换实例; 等值演算. 判别谓词公式A?B是永真式的方法? */30 判别谓词公式A是永真式的方法 判别谓词公式A是永真式的方法： (命题公式)重言式的代换实例; 等值演算. 问题：命题公式中的重言式有哪些？ 命题逻辑基本等值式：16组等值式(24式) ——“等价重言式” 命题逻辑推理定律 ——重言蕴涵式 */30 回顾命题逻辑基本等值式 双重否定律 ? ?A?A 幂等律 A?A?A, A?A?A 交换律 A?B?B?A, A?B?B?A 结合律 (A?B)?C?A?(B?C), (A?B)?C?A?(B?C)