两难定理的运用（两难推理的逻辑公式）

二难推理是由两个假言命题和一个选言命题作为前提，并依据假言命题和选言命题的性质推出结论的推理。二难推理常常用于辩论，辩论的一方提出一个有两种可能性的选言命题作为前提，然后引出对方难以接受的结果，从而使对方陷入进退两难的尴尬境地。

二难推理根据结论是简单命题还是复合命题，可以分为简单式和复杂式；根据推理所依据充分条件的不同性质，可以分为构成式（肯定前件式）和破坏式（否定后件式）；排列组合后，则两难推理有四种不同的结构形式：简单构成式、简单破坏式、复杂构成