“邏輯公式”簡單造句，邏輯公式造句子

該方法以擴展的關係邏輯為語義基礎，把一致*問題歸結為關係邏輯公式的可滿足*問題。

換句話説，就是通過引入相應的謂詞，將二元關係的*質用邏輯公式來表示。