跳到主要内容

在谓词逻辑中,谓词可以表示对象的属性,也可以表示对象之间的关系。

In predicate logic, a predicate can represent an attribute of an object or a relationship between objects.