不相容選言推理

推理形式

它有兩種有效的推理形式:

1.肯定否定式，即小前提肯定大前提中選言命題的一個選言支，結論否定大前提中其他選言支.如推理:造成李某死亡的原因或者是自殺，或者是他殺，李某是自殺，所以，李某不是他殺.這種推理結構形式可表示為

2.否定肯定式，即小前提否定大前提選言命題中除一個以外的選言支.結論則肯定剩下的那個選言支.例如，‘x=。或y=O,x}O，所以，y=o.這種推理結構形式可表示為

不相容選言推理必須遵守兩條規則:

1.肯定一個選言支，就要否定其他一切選言支.

2.否定一部分選言支，就要肯定另一部分中的一個選言支.