一、合对合一是于合数理逻辑中的一阶谓词演算运用的一种运算方式。

二、基概数理逻辑便因此推理(特意是况介数学中的演绎推理)作为钻研工具的学科，它主若是合对运用数学方式运用数学符号，来钻研数学畛域公共运用的于合逻辑推理。

三、基概而在语言钻研中运用“合一”法，况介便是合对要用数理逻辑的推理方式来形貌语言，达到精确化的于合指标。