"T"是否表示「高」，"a" 是否表示「小明」。同样地，逻辑解释也没有对「和」、「或」及「否定」之类的逻辑联结词作宣称。虽然人们习惯上可能会把这些符号拿来代表特定的事物或概念，但这不是由解释函数来决定的。解释通常（但不总是）会提供一个方法来决定语言中句子的真值。若一给定解释赋予一个句子或理论的真值为真，则这个解释即称为此一句子或理论的模型。
形式语言.形式语言是由一组固定句子（依上下文不同，也称为词或公式）所组成的，这些句子则是由一套固定的字母或符号所组成。用来定义语言的字母清