二难推理是演绎推理中一种混合型复合判断推理。所谓二难,意思是进退维谷,左右为难,因此也称两刀论法。它通常由一个选言判断的前提列出两种可能,同时以这两种可能作为假言判断的前件,由这两个前件再引出两个难以接受的后件。
二难推理有四种基本形式:简单构成式;复杂构成式;简单破斥式;复杂破斥式。
二难推理简单构成式的特点有三个:
前提中两个假言判断的前件不同,后件相同;前提中选言判断的两个选言支分别肯定两个假言判断的前件;结论是一个直言判断,它肯定前提中两个假言判断的共同后件。
简单构成式的推理公式是:
如果A,则B;
如果C,则B;
A或者C;
所以,B。