“逻辑公式”可以造什么句，逻辑公式造句

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

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