命题变量，也称为语句变量，可以代入任意命题公式中 (Carnap 1958, p. 24)。
命题变量
另请参阅
命题公式使用 Wolfram|Alpha 探索
参考文献
Carnap, R. 符号逻辑及其应用导论。 纽约: Dover, 1958.在 Wolfram|Alpha 中被引用
命题变量请引用为
Weisstein, Eric W. "命题变量。" 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/SententialVariable.html