傳統邏輯裏一類有兩個前提的演繹推理。其中一個前提是假言命題，另一個是此假言命題的前件，或此假言命題的後件的負命題。假言推理舊稱假言三段論或混合假言三段論，現通稱充分條件假言推理。
假言推理包括兩種形式：①如果 A則B，A，所以，B；②如果A則B，並非B，所以，並非A。這兩種形式也可以改述為兩條規則：①承認前件就承認後件；②否認後件就否認前件。在日常思維中容易發生的錯誤是從“如果A則B，B”推出“A”；從“如果A則B，並非非A”推出“並非 B”。例如，從“如果4是偶數，那麼4是能被2整除的”和“4是能被2整除的”推出“4是偶數”。古代的邏輯學傢還發現瞭一些重要的與假言命題有關的推理形式，如假言連鎖推理，即舊稱純假言三段論，其形式為：如果A則B，如果B則C，所以，如果A則C。