不相容选言推理(incompatibledisjunctiveinference),是一种特殊的选言推理,大前提为不相容选言命题的选言推理。
推理形式
它有两种有效的推理形式:
1.肯定否定式,即小前提肯定大前提中选言命题的一个选言支,结论否定大前提中其他选言支.如推理:造成李某死亡的原因或者是自杀,或者是他杀,李某是自杀,所以,李某不是他杀.这种推理结构形式可表示为
2.否定肯定式,即小前提否定大前提选言命题中除一个以外的选言支.结论则肯定剩下的那个选言支.例如,‘x=。或y=O,x,O,所以,y=o.这种推理结构形式可表示为
规则要求
不相容选言推理必须遵守两条规则:
1.肯定一个选言支,就要否定其他一切选言支.
2.否定一部分选言支,就要肯定另一部分中的一个选言支.