逻辑中用于表示布尔语句的符号，其值可以为真或假。所有命题字母都是 命题形式 (Mendelson 1997, p. 13)。
命题字母
另请参阅
文字, 命题形式使用 Wolfram|Alpha 探索
参考文献
Mendelson, E. 数理逻辑导论，第 4 版。 London: Chapman & Hall, 1997.在 Wolfram|Alpha 中被引用
命题字母请引用为
Weisstein, Eric W. “命题字母。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/StatementLetter.html