封閉語句公式

封閉語句公式是一個語句公式，其中沒有變數是自由的（即，所有變數都是約束的）。封閉語句公式的例子如下：

它表達了加法的交換律，以及

它表達了素數的無窮性。

封閉語句公式被稱為語句（Carnap 1958，第24-25頁和85頁）。然而，在某些語言系統中，開放語句公式也被認為是語句（Carnap 1958，第25頁）。