肯定前件推理

规则

其中 表示“蕴含”，这是命题演算中唯一的推理规则。 此规则指出，如果 和 都是公理，或通过应用推理规则从公理形式推导出的定理，那么 也是一个形式定理。