阶语言的解释.为了将意义赋于一阶语言的所有句子之中，下列的资讯是必需的。带有这些资讯的物件即称为结构，或「模型」。解释中指定的资讯可提供足够的讯息，在每个自由变数都替代为论域中的元素后，以决定任意一个原子公式的真值。然后，任意句子的真值即可使用T-模式递归地定义。T-模式使用真值表如上所述来解释逻辑联结词。因此，举例来说，会被满足，若且唯若φ 和ψ 都会被满足。接下来剩下要如何解释 and 之类形式的公式。论域会形成这些量化的值域, 其概念如下：句子 在一解释下为真，只在每个φ("x") 中的"