（一）相容的选言推理

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

1. 结论为相容选言命题的推理

从某个命题出发，可以得出该命题与任一命题构成的选言命题。其推理形式为

p p q

所以, p或者q 或者所以, p或者q

例如：

1. 小王是足球协会会员，

   所以，小王是足球协会会员或者是围棋协会会员。

由于前提已断定了某一命题为真，那么，当然在结论中就可以断定由这一命

题和其他命题所构成的选言命题，因为相容的选言命题只要有一个选言支为真，则整个选言命题为真。

1. 前提为相容选言命题的推理

对相容的选言命题来说，由于它断定了选言支中至少有一个选言支是真的，因此，否定其中的一个选言支，就可以断定其余的选言支中至少有一个是真的。其推理形式为

（P∨q）∧～p→q 或 （p∨q）∧～q→P

这种推理形式，我们称之为否定肯定式。例如：

1. 这个统计数字的错误或者是由于原始数据不准确或者是由于计算出了问题，

在统计中计算没有出问题； 所以，这个统计数字的错误是由于原始数据不准确。

在运用这种推理形式时，必须注意不能通过肯定某一个选言支，而否定

其余的选言支，即下面的推理式

是无效的推理式。其原因是，在相容选言命题中各个选言支是可以同时为真的，其中的一个选言支为真，并不排斥其他的选言支也可以为真。例如：

1. 这个统计数字的错误或者是由于原始数据不准确或者是由于计算出了问题，

在统计中计算确实出了问题 所以，这个统计数字的错误不是由于原始数据不准确。

而我们知道，一个统计数字的错误完全可能既是由于原始数据不准确又是由

于计算出了问题，在这种情况下，当然不能由于计算出了问题而否定原始数据也可能不准确。

这里所介绍的只是相容选言推理的最基本的形式，由相容选言命题可以构成各种各样的推理形式，后面还要讲到一些其他的涉及选言命题的推理形式。