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

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

3.16. 请注意，当您为设计器谓词创建新的菜单项时，您还为该菜单项附加了一个单击处理程序。

4. 谓词演算与程序语义。

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

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

7. 具有较好的柔韧性和宽容度，它可以容纳经典谓词逻辑。

8. 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。

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

10.42. 本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

11. 谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。

12. 这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。

13.“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。

14. 影响各类有谓词性补足成分的句子句法结构格式化形成过程的一个重要因素，就是语言单位的结构边界律。

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

16. 清单2中的RDF三元组用谓词表达了author关系，虽然对您来说含义可能非常明显，但是计算机理解起来仍然困难。

17. 实例分析表明，基于SAT的谓词抽象技术是一种构造程序抽象模型更高效的方法。

18.知识性、模态的，暂时的，模糊等。

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

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

21. 谓词的工作原理类似于：对于每个节点，引擎使用上下文处理谓词。

22. 请注意，当您为设计器谓词创建新的菜单项时，您还为该菜单项附加了一个单击处理程序。

23.24. 使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。

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

25.34. 谓词演算与程序语义。

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

27.44. 谓词选择率估计是关系数据库管理系统查询优化器决策的重要依据。

28. 每读出一个元素,就将它传递给第三个实参表示的谓词函数.

29. 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

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

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

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

33.46. 直方图用于计算谓词的选择率。

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

35.40. 当用户从设计器上下文菜单中选择菜单项时，系统将调用该自定义处理程序，以执行与该菜单项关联的谓词。

36.41. 在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。

37. 在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。

38. 另一种选择是使用小写希腊字母来表示这种元变量谓词。

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

40. 直方图用于计算谓词的选择率。

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

42.7. 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

43. 更多细节请见等同性谓词和散列函数一节。

44.21. 另一种选择是使用小写希腊字母来表示这种元变量谓词。

45. 本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。

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

47. 有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。

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

49.谓词、加词等可以有条件出现在它的主宾位上.

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