用“逻辑公式”造句大全，逻辑公式造句

该方法以扩展的关系逻辑为语义基础，把一致*问题归结为关系逻辑公式的可满足*问题。

换句话说，就是通过引入相应的谓词，将二元关系的*质用逻辑公式来表示。