主要内容l 一阶逻辑等值式与基本的等值式l 置换规则、换名规则、代替规则l 前束范式l 自然推理系统NL 及其推理规则第五章 一阶逻辑等值演算与推理15.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)2基本等值式(2) 量词否定等值式 xA(x) xA(x) xA(x) xA(x)(3) 量词辖域收缩与扩张等值式. A(x) 是含 x 自由出现的公式，B 中不含 x 的自由出现 关于全称量词的： x(A(x) B) xA(x) B x(A(x) B) xA(x) B x(A(x) B) xA(x) B x(B A(x) B xA(x) 3基本等值式 关于存在量词的： x(A(x) B) xA(x) B
