交大数理逻辑课件2-1命题逻辑的等值和推理演算.pptVIP

请交作业1 第2章 命题逻辑的等值和推理演算 2.1 等值定理 2.2 等值公式 2.3 命题公式与真值表的关系 2.4 联结词的完备集 2.5 对偶式 2.6 范式 2.7 推理形式 2.8 基本的推理公式 2.9 推理演算 2.10 归结推理法 公式的类型 定义 设A为一个合式公式 (1) 若A无成假赋值，则称A为重言式(也称永真式) (2) 若A无成真赋值，则称A为矛盾式(也称永假式) (3) 若A不是矛盾式，则称A为可满足式 2.1 等值定理 等价的定义 设A和B是两个命题公式，对A和B的任一赋值，A和B的真值都相同，则称A和B是等值的（或等价的）， 记为A = B 或A?B 注意：?是关系符， ?是联结词 显然，根据真值表可判明任何两个公式是否等值 如 ?(P?Q) 与 ?P ? ?Q 和 ?P ? ?Q 等值定理 等值定理 对公式A和B， A=B的充分必要条件是A?B是重言式 即若A?B是重言式，则在任一解释下，A和B都只能有相同的真值 命题公式的等值关系“=”有下面的性质： 自反性—— A = A 对称性—— 若A = B，则B = A 传递性—— 若A = B，B = C，则A = C 2.2 等值公式 1. 基本的等值公式（命题定律） 双重否定律 : ? ?A = A 等幂律： A?A =