2.1一阶逻辑公式及解释

定义2.2.4没有自由变元的公式称为闭式

定义2.2.5一个解释I由以下四部分组成

定义2.2.6赋值u建立在解释I上的函数，且有：

定义2.2.7一阶逻辑公式的分类：

永真式（逻辑有效式）在任何解释I及I的任何赋值下均为真的一阶公式；

永假式（矛盾式）在任何解释I及I的任何赋值下均为假的一阶公式；

可满足式至少有一种解释和一种赋值使其为真的一阶公式。

没有自由变元的公式称为闭 式

永真式：在任何解释I及I的任何赋值下均为真的一阶公式

永假式：在任何I解释及I赋值下均为假的一阶公式

可满足式：至少有一种解释和一种赋值使其为真的一阶公式

命题逻辑永真式的任何代换实例是一阶逻辑的永真式，命题永假式的任何替换实例是一阶逻辑的永假式