句子

句子是一个逻辑公式，其中每个变量都是量化的。句子的概念很重要，因为公式中的变量不是量化不明确。

句子的概念可以如下所示（Enderton 1977）。公式，其中每个变量都是量化的，可以作为完整的句子翻译成英语“存在一个集合，它将每个集合都作为一个元素。”然而，公式，其中未量化，只能翻译为句子片段“每个集合都是___的元素”，其中“___”未指定因为未量化。

因为“量化变量”（或量词“）只是一个更具描述性的名称绑定变量,句子也可以定义为没有逻辑公式自由的变量（Enderton 1977）。句子也可以定义为关闭句子公式（卡尔纳普1958年，第24和85页），尽管使用了一些语言系统，开放式句子公式也是被判入狱（Carnap 1958，第25页）。