假言三段論

假言三段論（hypothetical syllogism)又稱假言推理。假言推理總是以假言判斷為前提來進行推理的。

命題演算中的條定理：（q-r)→（（p→q）→(p→r))。意即如果qr，那麼，又如果pq，就可以得到pr。亦即：如果q→r並且pq，就可以得到p→r。此定理被稱為三段論原則。 ^[1] 

假言判斷推理：

A→B

A為充分條件，B為必要條件。

否定A推不出結果，肯定B也推不出結果。