谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
在谓词演算中，有时将原子公式简称为原子。
在谓词演算的反驳树中，被证明的合式公式。
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
也叫谓语演算，它研究简单马那瓜体的内部结构。
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
PKI信任模型的条件谓词逻辑推理
一阶谓词演算自然演绎型直觉主义系统
基于概率和条件逻辑的PKI信任模型推理