命题逻辑演示文件修改版.pptVIP

等价演算的基础 等价关系的性质：自反性：A?A。对称性：若A?B，则B?A。传递性：若A?B且B?C，则A?C。 基本的等价式 置换规则 等价演算的应用 证明两个公式等值 判断公式类型 解判定问题 关于等价演算的说明 【例】. 用等价演算法验证等值式 (p∨q)→r ? (p→r)∧(q→r) (p→r)∧(q→r) ? (?p∨r)∧(?q∨r) (条件等价式) ? (?p∧?q)∨r (分配律) ? ? (p∨q)∨r (德摩根律) ? (p∨q)→r (条件等价值式) 解答 例题 【例1.18】用等价演算法判断下列公式的类型。 ⑴ q∨? ((?p∨q)∧p) 解：⑴ q∨?((?p∨q)∧p) ?q∨?((?p∧p)∨(q∧p)) (分配律) ?q∨?(0∨(q∧p)) (矛盾律) ?q∨?(q∧p) (同一律) ?q∨(?q∨?p) (德摩根律) ?(q∨?q)∨?p