。根据最近的做法，每个非逻辑符号皆为下列两种类型的其中一种。如何分辨断言符号与函数符号？
形成规则.形成规则定义一阶逻辑的项及公式。因为项及公式被表示为一串符号，这些规则可被用来写成项及公式的形式文法。这些规则通常是上下文无关的（规则的每个结果在其左侧都会有单一个符号），除非允许有无限多符号，且有许多开始符号，如项中的变数。
项.项可依如下规则递归地定义：只有可经由有限次地应用上述规则来得到的表示式才是项。举例来说，不存在包含断言符号的项。S