命題公式
合式公式，也稱為命題公式，是數理邏輯中的一個術語。它是一種形式語言表達式，按照一定的規則構成。合式公式可以是命題變元、命題常元，或者是通過連線詞和邏輯運算符從其他公式派生出來的表達式。具體來說，合式公式的構成規則包括：
命題變元和命題常元本身就是公式。
如果α是公式，那麼ᒣα也是公式。
如果α和β是公式，那麼α∨β、α∧β、α→β、α≡β也都是公式。
只有通過上述規則有限次套用得到的符號串才是公式。
這些規則確保了合式公式的嚴謹性和一致性。在命題演算中，公式通常用歸納定義給出，用於表示命題之間的邏輯關係和推理過程。