二难推理

选言假言推理指古典逻辑中结合一个选言命题及与其选言支数目相等的假言命题进行的推理。根据选言支的数目，也被称为二难推理、三难推理、四难推理等。

二难推理

构成式二难推理

构成式二难推理/构造式二难推理(contructive dilemma)/肯定式二难推理是古典逻辑中关于选言命题和假言命题的推理，通过多个假言命题和其前件之间的选言命题推出其后件之间的选言命题作为新的命题。

[math]\displaystyle{ P\rightarrow R, Q\rightarrow S, P \lor Q \Rightarrow R \lor S }[/math]

若两个后件相同，则新命题可以被化简，此时称为简单构成式二难推理/简单肯定式二难推理。

[math]\displaystyle{ P \rightarrow R, Q\rightarrow R, P\lor Q \Rightarrow R }[/math]

破斥式二难推理

破斥式二难推理(desctructive dilemma)/否定式二难推理是古典逻辑中关于选言命题和假言命题的推理，通过多个假言命题和其后件的否定之间的选言命题推出其前件的否定之间的选言命题作为新的命题。

[math]\displaystyle{ P\rightarrow R, Q\rightarrow S, \lnot R \lor \lnot S \Rightarrow \lnot P \lor \lnot Q }[/math]

若两个前件相同，则新命题可以被化简，此时称为简单破斥式二难推理/简单否定式二难推理。

[math]\displaystyle{ P \rightarrow R, P\rightarrow S, \lnot R\lor \lnot S \Rightarrow \lnot P }[/math]

传统逻辑
推理的传统分类
推理方向	一般到特殊	特殊到一般		特殊到特殊	结果到原因
推理过程	演绎	归纳（广义）		类比	溯因
推理方法	演绎法	完全归纳法 （含数学归纳法等）	归纳法（狭义） （不完全归纳法）	类比法	溯因法
推理分类	演绎推理/必然性推理		归纳推理	类比推理	溯因推理
			合情推理/概然性推理/或然性推理
命题及其演绎推理的传统分类
直言命题	直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论）
假言命题	假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论
选言命题	选言推理（选言三段论）
-	选言假言推理（构成式二难推理、破斥式二难推理）