一给定解释赋予一个句子或理论的真值为真，则这个解释即称为此一句子或理论的模型。
形式语言.形式语言是由一组固定句子（依上下文不同，也称为词或公式）所组成的，这些句子则是由一套固定的字母或符号所组成。用来定义语言的字母清单称之为字母表。形式语言的重要特性之一在于，其语法不需要指涉解释即可定义。例如，("P" 或"Q") 是一个合式公式，即使不知道真值是真是假。为了区分形式语言中的符号字串和随意符号字串之间的不同，前者有时被称为合式公式。
例子.定义一个形