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