离散数学教学课件（长安大学）getresource-5.pptVIP

第五章 一阶逻辑等值演算与推理 主要内容 一阶逻辑等值式 前束范式 一阶逻辑推理理论 等值式 在一阶逻辑中，有些命题可以有不同的符号化形式，比如 “不是所有的人都喜欢吃糖” 5.1 一阶逻辑等值式与置换规则 定义5.1 设A, B是两个谓词公式, 如果A?B是永真式, 则称A 与B等值, 记作A?B, 并称A?B是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例（定理4.2） 例如， ???xF(x)??xF(x)，（??A?A） ?xF(x)??yG(y) ? ??xF(x)??yG(y)，（A?B??A?B） （A?B??A?B） 第二组 (1) 量词消去等值式 设个体域为有限集D ={a1, a2, … , an} ① ?xA(x) ? A(a1)?A(a2)?…?A(an) ② ?xA(x) ? A(a1)?A(a2)?…?A(an) 基本等值式 (2) 量词否定等值式 ① ??xA(x) ? ?x?A(x) 例子 ② ??xA(x) ? ?x?A(x) (3) 量词辖域收缩与扩张等值式. A(x) 中含自由出现的x ，B 中不含 x 关于全称