合一是數理邏輯中的一階謂詞演算使用的一種運算方法。數理邏輯就是以推理(特別是數學中的演繹推理)作為研究物件的學科,它主要是運用數學方法使用數學符號,來研究數學領域公共使用的邏輯推理。而在語言研究中使用“合一”法,就是要用數理邏輯的推理方式來描述語言,達到精確化的目的。