二难推理是假言选言推理的一种。假言选言推理就是以假言判断和选言判断为前提所构成的推理。二难推理的前提中有两个假言判断和一个只有两个选言支的选言判断。二难推理有以下四个有效式：

　　一、简单构成式

　　　　如果p，那么q

　　　　如果r，那么q

　　　　p或者r

　　　　所以，q

也可以符号化为：

　　　　（（p®q）Ù（r®q）Ù（pÚr））®q

　　二、复杂构成式

　　　　如果p，那么q

　　　　如果r，那么s

　　　　p或者r

　　　　所以，q或者s

也可以符号化为：

　　　　（（p®q）Ù（r®s）Ù（pÚr））®qÚs

　　三、简单破坏式

　　　　如果p，那么q

　　　　如果p，那么r

　　　　非q或者非r

　　　　所以，非p

也可以符号化为：

　　　　（（p®q）Ù（p®r）Ù（ØqÚØr））®Øp

  　　四、复杂破坏式

　　　　如果p，那么q

　　　　如果r，那么s

　　　　非q或者非s

　　　　所以，非p或者非r

也可以符号化为：

　　　　（（p®q）Ù（r®s）Ù（ØqÚØs））®ØpÚØr