肯定前件推理

規則

其中 表示“蘊含”，這是命題演算中唯一的推理規則。 此規則指出，如果 和 都是公理，或透過應用推理規則從公理形式推匯出的定理，那麼 也是一個形式定理。