离散数学屈婉玲第五章.pptxVIP

第五章 一阶逻辑等值演算主要内容一阶逻辑等值式与基本的等值式置换规则、换名规则、代替规则前束范式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)基本等值式(2) 量词否定等值式 ① ??xA(x) ? ?x?A(x) ② ??xA(x) ? ?x?A(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)基本等值式 关于存在量词的： ① ?x(A(x)?B) ? ?xA(x)?B ② ?x(A(x)?B) ? ?xA(x)?B ③ ?x(A(x)?B) ? ?xA(x)?B ④