谓词演算的等价及蕴含公式（一）

一、对谓词公式赋值（给谓词公式一个解释）

对一个谓词公式赋值由如下四部分组成

（1）指定非空个体域集合

（2）将谓词公式中的命题变元，用确定的的命题代替

（3）对公式中的个体变元用论域中的具体个体代替

（4）对公式中含有的谓词变项，用谓词常项代替

二、谓词公式的永真式

给定谓词公式A，如果不论对其作任何赋值，都使得谓词公式A的真值为真，则称A为永真式

三、谓词公式的等价公式

给定谓词公式A、B，如果A<->B是永真式，则称A与B等价，记作A<=>B

四、谓词公式的永真蕴含式

给定谓词公式A、B，如果A->B为永真式，则称A永真蕴含B，记作A=>B

谓词演算的等价及蕴含公式

一、由命题演算推广出的公式

因一个不含自由变元的谓词公式是命题。而含有n个自由变元的原子谓词公式，可以看成是命题变元。所以只要不牵涉到量词运算，命题演算中的等价公式和重言蕴含式均可推广到谓词演算中使用

二、有限个体域消去量词的等价公式

设论域为{a1,a2,…,an},则

1. ∀ xA(x)<=>A(a1)^A(a2)…^A(an)
2. ∃xB(x)<=> B(a1) V B(a2) V … VB(an)