（二）不相容选言推理

不相容选言推理是前提中有一个不相容选言命题，依据不相容选言命题的逻辑性质进行的推理。

不相容选言命题是断定二个选言支中有并且只能有一个选言支是真的， 依据这种性质，我们可以得到二个有效的推理式：否定肯定式和肯定否定式。

否定肯定式的推理形式为

其道理是，既然不相容选言命题断定二个选言支必须有一个选言支为真，那么，否定了其中的一个选言支，当然就要肯定另一个选言支。例如：

1. 中国要么走社会主义道路，要么走资本主义道路，

   中国不走资本主义道路； 所以，中国走社会主义道路。

肯定否定式的推理形式为

其道理是，既然不相容选言命题断定二个选言支中只能有一个选言支为真，那么，肯定了其中的一个选言支，当然就可以否定另一个选言支。例如：

1. 某数要么是偶数，要么是奇数； 已知该数是奇数；

所以，该数不是偶数。

相容选言推理和不相容选言推理的区别就在于，不相容选言推理有肯定否定式，即肯定其中的一个选言支就可以否定另一个选言支；相容选言推理则不能通过肯定其中的一个选言支而否定另外的选言支，即它的肯定否定式是一个无效的推理式。

三、假 言 推 理

假言命题所表示的是前件和后件之间的逻辑关系，依据这种逻辑关系， 我们就可以进行推理。假言推理分为充分条件假言推理、必要条件假言推理和充分必要条件假言推理。

由于充分必要条件假言推理只是充分条件假言推理和必要条件假言推理的简单结合，所以就不作专门介绍了。