一種表示式，它是一個句子，或者包含變數，並且在對這些變數進行適當替換後變成一個句子（Carnap 1958, p. 24）。命題公式也稱為命題公式，或簡稱“公式”。
命題公式
另請參閱
閉合命題公式, 開放命題公式, 命題演算, 句子, 命題變數使用 探索
參考文獻
Carnap, R. 符號邏輯及其應用導論。紐約：Dover，1958年。在 上被引用
命題公式請引用為
Weisstein, Eric W. “命題公式。” 來自 —— 資源。 https://mathworld.tw/SententialFormula.html