(B→C))定理 TH13: (B→(B→C))→(B→C)规则 TH14*: A→(B→P), P→Q formula_1 A→(B→Q)定理 TH15: ((A→B)→(A→C))→(A→(B→C))TH15 是公理 THEN-2 的逆命题。定理 TH16: (¬A→¬B)→(B→A)定理 TH17: (¬A→B)→(¬B→A)比较定理 TH17 与定理 TH5。定理 TH18: ((A→B)→B)→(¬A→B)定理 TH19: (A→C)→ ((B→C)→(((A→B)→