离散数学屈婉玲_耿素云_张立昂第5章_高教探究.pptVIP

第五章 一阶逻辑等值演算与推理 主要内容 一阶逻辑等值式与基本的等值式 置换规则、换名规则、代替规则 前束范式 自然推理系统NL 及其推理规则 5.1 一阶逻辑等值式与置换规则 定义5.1 设A, B是两个谓词公式, 如果A?B是永真式, 则称A 与B等值, 记作A?B, 并称A?B是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例 例如，???xF(x)??xF(x), ?xF(x)??yG(y) ? ??xF(x)??yG(y) 等 第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① ?xA(x) ? A(a1)?A(a2)?…?A(an) ② ?xA(x) ? A(a1)?A(a2)?…?A(an) 命题逻辑的基本等值式（1） 双重否定律 ??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) 分配律 A?(B?C)?(A?B)?(A?C), A?(B?C)?(A?B)?(A?C) 德摩根律 ?(A?B)??A??B