开放语句公式

一个语句公式，它包含至少一个自由变量（Carnap 1958，p. 24）。一个不包含自由变量（即，所有变量都是约束变量）的语句变量被称为封闭语句公式。开放语句公式的例子包括

这意味着是偶数（在整数域上），以及

这意味着和不是两个数（都大于一）的乘积，即，是素数。

封闭语句公式被称为句子，尽管有时开放语句公式也被认为是句子 (Carnap 1958, p. 25)。