- 有几种逻辑：命题逻辑的顺序，谓词的一个或多个、知识性、模态的，暂时的，模糊等。
- 之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
- 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
- 在对授权规则建模时，如果缺省人员谓词集无法满足需要，您可以修改现有的谓词或向谓词集添加新谓词。
- 使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。
- 影响各类有谓词性补足成分的句子句法结构格式化形成过程的一个重要因素，就是语言单位的结构边界律。
- 岳阳柏祥方言中的亲属称谓词主要有“长辈”、“平辈”、“晚辈”三大类，经考证该方言称谓词有些沿用古代亲属称谓词。