1、谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

2、在该处理程序中，可以检索与该菜单项相关联的谓词并调用它。

3、所以，为了避免一些繁琐的重复代码，本库定义了一些谓词用于在比较前应用间接性。

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

5、如果你希望使用一个不同的等同性谓词，你也需要使用一个相匹配的散列函数。

6、岳阳柏祥方言中的亲属称谓词主要有“长辈”、“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。

7、得到的参数化人员谓词存储为人工任务模型的一部分。

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

9、在谓词演算的反驳树中，被证明的合式公式。

10、这就是一个一阶谓词演算不可表述的属性.

11、同语句是一种常见的语言现象,体词、谓词、加词等可以有条件出现在它的主宾位上.

12、用一阶谓词逻辑设计了一个亲属关系的自动推理模型。

13、表示您的组织规则的参数化人员谓词是作为人工任务模型的一部分存储的，并将与人工任务或业务流程模型EAR文件一起部署。