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