不相容选言推理的形式：否定肯定式
前提中有一个选言判断，并且根据选言支之间关系而推出结论的推理叫作选言推理。
否定肯定式是指：前提中否定选言判断中除一个选言支以外的其余的选言支，结论中肯定那个没被否定的选言支。
其推理形式为：
用符号化的横式可表示为：（（p 
q）∧┐p）→q
例如：
- 文章目录
- 繁