由上面的例子可以看出： 　　1.一阶语言的项一定是下列三种形式之一：变元符号、常元符号和函词； 　　2.一阶语言的公式一定是下列八种形式之一：原子公式，(A)，(A∨B)，(A∧B)，(A→B)，(AB)，(x)A，(x)A。