2021考研管综逻辑备考：二难推理的变形形式

（二）记忆口诀

由于两个形式中都涉及到了选言判断与假言判断，对于肯定形式，我们在得出结论的时候用到的规则是“肯前必肯后”以及“p或q”，对于否定形式，我们在得出结论的时候用的是“否后必否前”以及“p或q”。所以口诀可以总结如下：

假言与选言，肯前就肯后，否后必否前，结果“或”来联。

（三）适用情形

题干给出的条件有两个假言和一个选言，而且选言判断的内容与假言判断的箭头之前或之后的内容是有关系的，这时，我们就可以考虑运用二难推理来解题。

例：“欲寄君衣君不还，不寄君衣君又寒，寄与不寄间，妾身千万难。”

逻辑形式：寄→-还

不寄→寒

寄或不寄

结果：-还或寒

在诗中，寄和不寄之间是矛盾的关系，是一个恒成立的条件，而在公式里，p与r，q与s之间是没有矛盾关系的，这时，就有了二难推理的变形形式：

二、变形形式

（一）规则形式

1、肯定形式

（二）记忆口诀

由于两个形式中都涉及到了假言判断，对于肯定形式，两个假言判断的箭头前面的内容“p”和“-p”是矛盾的关系，我们在得出结论的时候直接把箭头后面的内容相连，就可以得到答案“q或r”，而对于否定形式，后面的内容“q”和“-q”是矛盾的，我们在得出结论的时候，需要先把箭头前的内容先进行否定，然后再用“或”去连接否定后的二者，所以变形形式的口诀可以总结如下：

假言与假言，前边是矛盾，后边“或”来联，后边是矛盾，否完“或”再联。

（三）适用情形

题干给的内容只有假言判断，而且假言判断的箭头之前的内容或者箭头之后的内容是矛盾的，这时候我们会考虑使用二难推理的变形形式。

三、变形形式的变形

对于变形形式，如果出题人给我们增加难度，会把肯定式箭头后的内容换成一致的，把否定式箭头前的内容换成一致的，就会有不一样的形式了，用公式表示如下：

1、肯定形式