前提中有一个选言判断并根据其逻辑性质进行推演的推理叫选言推理。根据前提中选言判断的性质,选言推理可分为两类:
一、不相容选言推理
即前提中有一个是不相容选言判断的推理。根据选言支之间的关系性质,不相容选言推理有两条规则:
(一)否定一部分选言支,要肯定另一部分选言支。
(二)肯定一部分选言支,要否定另一部分选言支。
根据以上规则,不相容的选言推理有两种正确形式:
1.否定肯定式
这是否定部分选言支而肯定另一部分选言支。逻辑形式为:
p∨·∴例如:
译文出错或是原文有误或因翻译过失,
经查对不是因为翻译时出现错误;
所以,译文出现的错误是原文有误。
2.肯定否定式
这是肯定部分选言支而否定另一部分选言支。逻辑形式为:
p∨·∴p
例如:
纤维有植物的、动物的、矿物的三种,
经过检验,这种纤维是矿物的;
所以,这种纤维不是植物的和动物的。
二、相容的选言推理
相容选言推理是大前提为相容选言判断并根据其逻辑性质进行推演的推理,有两条规则:
(一)否定一部分选言支,要肯定另一部分选言支。
(二)肯定一部分选言支,不能否定另一部分选言支。
根据规则,相容的选言推理只有否定肯定式一种有效形式。逻辑形式为:
p∨∴例如:
推理有误或因前提不真或因形式不当,
这个推理有错误不是因为前提不真;
所以,这个推理有错误是因为形式不当。
进行相容选言推理时不要误用肯定否定式,因为它的各选言支可以同真。例如:
学习好,或因为方法对头,或因为努力,
小王之所以学习好,是因为方法对头;
所以,小张学习好不是因为努力。
此外,在推理时还不能遗漏选言支,要考虑到有关思维对象存在的全部可能性,否则结论就会不可靠。例如:
水要么是液态要么是固态,
现在的水不是液态;
所以,现在的水是固态。
此推理遗漏了选言支,即水的另一种存在方式——气态水。