用邏輯公式造句子，“邏輯公式”造句

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

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