两难推理的逻辑形式（两难推理的逻辑公式）

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