求反器，是一种函数适配器，它将谓词函数对象的真值求反。

句子中心是谓词，题元在句子中由名词性成分充任。

之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。

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

主词，谓词，受词都是实体的名称。实体在真实世界中，可以是具体的或是抽象的。

本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统。

传统逻辑中专名和限定摹状词都是单独概念，在谓词逻辑中则被称为个体词。

从而形成了模糊谓词演算一种新的语构与语义体系。

在这两个查询中，方括号中表示了连接谓词。

如果在基于字符串的查询谓词周围使用双引号，而不是单引号，就会收到语法错误。