及「否定」之类的逻辑联结词作宣称。虽然人们习惯上可能会把这些符号拿来代表特定的事物或概念，但这不是由解释函数来决定的。解释通常（但不总是）会提供一个方法来决定语言中句子的真值。若一给定解释赋予一个句子或理论的真值为真，则这个解释即称为此一句子或理论的模型。
形式语言.形式语言是由一组固定句子（依上下文不同，也称为词或公式）所组成的，这些句子则是由一套固定的字母或符号所组成。用来定义语言的字母清单称之为字母表。形式语言的重要特性之一在于，其语法不需要指涉解释即可定义。例如，("P