号（关系符号）或表示等式的特殊谓词符号「=」来结合成原子公式。最后，此语言的公式即可由使用逻辑联结词和量化的原子公式集结而成。
一阶语言的解释.为了将意义赋于一阶语言的所有句子之中，下列的资讯是必需的。带有这些资讯的物件即称为结构，或「模型」。解释中指定的资讯可提供足够的讯息，在每个自由变数都替代为论域中的元素后，以决定任意一个原子公式的真值。然后，任意句子的真值即可使用T-模式递归地定义。T-模式使用真值表如上所述来解释逻辑联结词。因此，举例来说，会被满足，若且唯若φ 和ψ