邏輯中用於表示布林語句的符號,其值可以為真或假。所有命題字母都是 命題形式 (Mendelson 1997, p. 13)。
命題字母
另請參閱
文字, 命題形式使用 探索
參考文獻
Mendelson, E. 數理邏輯導論,第 4 版。 London: Chapman & Hall, 1997.在 中被引用
命題字母請引用為
Weisstein, Eric W. “命題字母。” 來自 Web 資源。 https://mathworld.tw/StatementLetter.html
邏輯中用於表示布林語句的符號,其值可以為真或假。所有命題字母都是 命題形式 (Mendelson 1997, p. 13)。
Weisstein, Eric W. “命題字母。” 來自 Web 資源。 https://mathworld.tw/StatementLetter.html