离散数学-5 一阶逻辑等值演算与推理

定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式

基本等值式

第一组 命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例

第二组

(1) 消去量词等值式

设D ={ a₁, a₂, … , a_n}

① x A(x) A(a₁)A(a₂)…A(a_n)

② x A(x) A(a₁)A(a₂)…A(a_n)

(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<