定义６: 一个替换(Substitution)是形如{t1 / x1, t2 / x2 ,…,tn / xn }的有限集合，其中t1 , t2 ,…,tn 是项， x1, x2 ,…,xn是互不相同的个体变元。 ti / xi表示用ti代换xi 。 ti与xi不同，xi也不能出现在tj中(j=1,2,…,n)。

命题是具有真假意义的陈述句。 不能被分解成更简单的陈述句的命题称为简单命题 命题可用小写字母如p,q,r…表示，称为命题变元。 复合命题是由简单命题和联结词联结而成的命题。