定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式
基本等值式
第一组 命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例
第二组
(1) 消去量词等值式
设D ={ a1, a2, … , an}
① x A(x) A(a1)A(a2)…A(an)
② x A(x) A(a1)A(a2)…A(an)
(2) 量词否定等值式
① xA(x) x A(x)
② x A(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)