假言推理公式可以分為充分條件假言直接推理、必要條件假言直接推理和充分必要條件假言直接推理三種情況，具體如下：
充分條件假言直接推理。如果p，那麼q。所以，如果非q，那麼非p（p→q；∴非q→非p）。例如，如果缺乏水分，植物就會死亡。所以，如果植物未死亡，那麼就不缺水分。只有非p，才非q（p→q；∴非p←非q）。例如，只有不缺乏水分，植物才不會死亡。只有q，才p（p→q；∴q←p）。例如，只有植物死亡了，才是缺少水分。
必要條件假言直接推理。只有p，才q。所以，只有非q，才非p（p←q；∴非q←非p）。例如，只有刻苦學習，才能學好功課。所以，只有沒學好功課，才是不刻苦學習的。如果非p，那麼非q（p←q；∴非p→非q）。例如，如果不刻苦學習，那麼不能學好功課。如果q，那麼p（p←q；∴q→p）。例如，如果學好了功課，那麼是刻苦學習的。
充分必要條件假言直接推理。只要p，就q。所以，只要非p，就非q（p↔q；∴非P↔非q）。例如，只要能被2整除，該數就是偶數。所以，只要不能被2整除，該數就不是偶數。只要非q，就非p（p↔q；∴非q↔非p）。例如，只要該數不是偶數，就不能被2整除。只要q，就p（p↔q；∴q↔p）。例如，只要該數是偶數，它就能被2整除。