选言直言推理

一个前提是选言判断，另一前提是直言判断（或由直言判断构成的联言判断）的选言推理。如：“三角形或者是锐角的，或者是钝角的，或者是直角的；这个三角形是直角的；所以这个三角形不是锐角的，也不是钝角的。”这是选言推理的肯定否定式，其中直言前提肯定了选言前提中的一个选言肢，在结论中，则否定其余选言肢。运用此式时，选言前提的各选言肢必须互相排斥。在否定肯定式选言推理中，直言前提否定选言前提中一个选言肢，在结论中肯定另一肢。如：“三角形或者是锐角的，或者是钝角的，或者是直角的；这个三角形不是锐角的，也不是钝角的；所以这个三角形是直角的。”在否定肯定式中，大前提要穷尽问题的一切可能。