tion::::推理规则.推理规则是肯定前件：如果还使用双箭头的等价算子的话，则要增加如下"自然"推理规则：
元推理规则.设一个推导被表示为相继式，各个假设在十字转门（turnstile）的左侧，而结论在十字转门的右侧。则演绎定理可以被陈述如下：这个演绎定理（DT）自身没有公式化为命题演算：它不是命题演算的定理，而是关于命题演算的一个定理。在这个意义上，它是元定理，相当于关于命题演算可靠性和完备性的定理。在另一方面，DT对于简化语法上的证明过程是如此的有用以至于它看作和