假言推理

假言推理指古典逻辑中对假言命题进行的直接推理。

条件推理

传统逻辑
直言命题	直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论）
假言命题	假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论
选言命题	选言推理（选言三段论）
-	选言假言推理（构成式二难推理、破斥式二难推理）