僅用pt規則和運用推理規則的區別

P規則：就是直接利用推理中給出的前提，即前提引入。T規則：就是由某壹個或幾個前提可以通過等價、蘊含得到其他命題公式，即推理規則。

I表示在T規則中通過蘊含式推出其他命題公式，即推理規則中的蘊含推理。E表示在T規則中通過等價式推出其他命題公式，即推理規則中的置換規則。CP規則即附加前提引入，在最後使用。