素后，以决定任意一个原子公式的真值。然后，任意句子的真值即可使用T-模式递归地定义。T-模式使用真值表如上所述来解释逻辑联结词。因此，举例来说，会被满足，若且唯若φ 和ψ 都会被满足。接下来剩下要如何解释 and 之类形式的公式。论域会形成这些量化的值域, 其概念如下：句子 在一解释下为真，只在每个φ("x") 中的"x" 被某个论域中的元素取代而成的置换实例都能被满足。公式 能被满足，若至少有一个在论域中的元素"d" ，能使得φ("d") 被满足。严格来说，上面所叙之公式的置换实例φ("d") 并