定義６: 一個替換(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…表示，稱為命題變元。 復合命題是由簡單命題和聯結詞聯結而成的命題。