定义：项由下列规则形成
    (1) 个体常量和个体变量是项。
    (2) 若f是n元个体函数且 t1, t2, … tn 是项，则 f(t1, t2, … tn) 也是项。
    (3) 所有项都只由(1) (2) 生成。
定义：原子公式
若 P(x1, x2, … xn)是n元谓词， t1, t2, … tn是项，则称 P(t1, t2, … tn)为谓词逻辑的原子公式。
定义：合式公式
1.原子公式是wff；
2.若A是wff，则(~A)也是；
3.若A、B是wff，且在A、B中同时出现的个体变量同为约束或同为自由，则A∧B、A∨B、A→B、A«B也是wff；
4.若A是wff，x在A中是自由的，则"x(A)、$x(A)也是wff；
5.只有有限次使用上述四条规则形成的才是wff。

可得其文法如下：

Formula -> Formula → Formula | Formula « Formula

               | Formula ∧ Formula | Formula ∨ Formula | ~Formula

               | "Variable(Formula) | $Variable(Formula)

               | Relation

Relation -> RelationSym(TermList)

RelationSym -> Constant

TermList -> Term(,Term)*

Term -> Function

          | Variable

          | Constant

Function -> FunctionSym(TermList)

FunctionSym -> [a-b]+

Variable -> [a-b]+

Constant -> [A-Z][a-zA-Z]*