**命题：是具有真假意义的语句。代表人们进行思维时的一种判断，或肯定（真T），或否定(假F) ，只有两种情况。

**谓词：一个谓词可分为 谓词名+个体 两部分。谓词名用于刻画个体的性质、状态或个体间的关系，个体表示某个独立存在的事物或某个抽象的概念。

**谓词公式的解释：在命题逻辑中，对命题公式中各个命题变元的一次真值指派称为命题公式的一个解释。
**定义：设D为谓词公式P的个体域，若对P中个体常量，函数和谓词按如下规定赋值
----1.为每个个体常量指派D中的一个元素
----2.为每个n元函数指派一个从Dn 到D的映射，其中Dn ={(x1,x2,…,xn)/x1,x2,..xn?D}
----3.为每个n元谓词指派一个从Dn到{F,T}的映射，则称这些指派为公式P到D上的一个解释
**定义1:如果谓词公式P对个体域D上的任何一个解释都取得真值T，则称P在D上是永真的;如果P在每个非空个体域上均永真，则称P永真。
**定义2:对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是可以满足的。可满足性又称相容性
**定义3:如果谓词公式P对于个体域D上的任何一个解释都取得真值F，则称P在D上是永假的；如果P在每个非空个体域上均永假，则称P永假。谓词公式的永假性称为不可满足性。
**定义:设P与Q是两个谓词公式，D是他们共同的个体域，若对D上的任何一个解释，P与Q都有相同的真假，则称公式P和Q在D上是等价的。记作 P<=>Q。
**定义：对于谓词公式P和Q，如果P?Q永真，则称P永真蕴含Q，且称Q为P的逻辑结论，称P为Q的前提，记作 P=>Q