一阶逻辑的词汇表

一阶逻辑的词汇表

词汇表构成如下
大写字母 P,Q,R,... 是谓词变量。
小写字母 a,b,c,... 是（个别的）常量。
小写字母 x,y,z,... 是（个别的）变量。
小写字母 f,g,h,... 是函数变量。
表示逻辑算子的符号： ┐ （逻辑非），∧ （逻辑与），∨（逻辑或），→ （逻辑条件） 和（逻辑双条件）。表示量词的符号：（全称量词），（存在量词）。
左右圆括号。
一些符号可以被简略为原语（primitive）并被采纳为简写；比如 (PQ) 是 (P → Q) ∧（Q → P) 的简写。算子和量词的最小数目是三个（如果我们定义了算子或非或者与非则是两个）；例如，┐，∨ 和 ㄢ足够了。项是一个常量、变量或 n≥0 个参数的函数符号。