封闭语句公式是一个语句公式，其中没有变量是自由的（即，所有变量都是约束的）。封闭语句公式的例子如下：
 |
 |
它表达了素数的无穷性。
封闭语句公式被称为语句（Carnap 1958，第24-25页和85页）。然而，在某些语言系统中，开放语句公式也被认为是语句（Carnap 1958，第25页）。
封闭语句公式
另请参阅
约束变量, 自由变量, 开放语句公式, 语句公式此条目的部分内容由 Lew Baxter 贡献。
使用 Wolfram|Alpha 探索
参考文献
Carnap, R. Introduction to Symbolic Logic and Its Applications. New York: Dover, 1958.在 Wolfram|Alpha 中被引用
封闭语句公式请引用为
Baxter, Lew 和 Weisstein, Eric W. “封闭语句公式。” 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/ClosedSententialFormula.html