一种表达式，它是一个句子，或者包含变量，并且在对这些变量进行适当替换后变成一个句子（Carnap 1958, p. 24）。命题公式也称为命题公式，或简称“公式”。
命题公式
另请参阅
闭合命题公式, 开放命题公式, 命题演算, 句子, 命题变量使用 Wolfram|Alpha 探索
参考文献
Carnap, R. 符号逻辑及其应用导论。纽约：Dover，1958年。在 Wolfram|Alpha 上被引用
命题公式请引用为
Weisstein, Eric W. “命题公式。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/SententialFormula.html