合一：合一可以简单地理解为"寻找相对变量的置换，使两个谓词公式一致"。
定义：
设有公式集F＝{F
1
，F
2
，…，F
n
}，若存在一个置换θ，可使F
1
θ＝F
2
θ＝…= F
n
θ，则称θ是F的一个合一。同时称F
1
，F
2
，... ，F
n
是可合一的。