不相容选言推理的形式：否定肯定式

不相容选言推理的形式：否定肯定式

前提中有一个选言判断，并且根据选言支之间关系而推出结论的推理叫作选言推理。

否定肯定式是指：前提中否定选言判断中除一个选言支以外的其余的选言支，结论中肯定那个没被否定的选言支。

其推理形式为：

用符号化的横式可表示为：（（p  q）∧┐p）→q

例如：