相容选言推理的推理形式

相容选言推理是前提中有一个相容选言判断的选言推理。它只有一种有效的推理形式，即否定肯定式。

这里的否定肯定式是指：前提中否定一部分选言支，结论就要肯定另一部分选言支。

其推理形式为：

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

例如：