的自然语言不同，一阶逻辑的语言是完全形式的，因为可以机械式地判断一个给定的表示式是否合法。存在两种合法的表示式：「项」（直观上代表物件）和「公式」（直观上代表可真或伪的断言）。一阶逻辑的项与公式是一串符号，这些符号一起形成了这个语言的词汇表。如同所有的形式语言一般，符号本身的性质不在形式逻辑讨论的范围之内；它们通常只被当成字母及标点符号。一般会将词汇表中的符号分成「逻辑符号」（总有相同的意思）及「非逻辑符号」（意思依解释不同而变动）。例如，逻辑符号formula_10总是解释成「且」，而绝不会解释成「或