開放語句公式

一個語句公式，它包含至少一個自由變數（Carnap 1958，p. 24）。一個不包含自由變數（即，所有變數都是約束變數）的語句變數被稱為封閉語句公式。開放語句公式的例子包括

這意味著是偶數（在整數域上），以及

這意味著和不是兩個數（都大於一）的乘積，即，是素數。

封閉語句公式被稱為句子，儘管有時開放語句公式也被認為是句子 (Carnap 1958, p. 25)。