不相容选言推理法
分类:科学技术方法453字
根据不相容选言判断的逻辑性质而进行的推演方法。若一个不相容判断为真,则它的选言肢中只有一真。根据这种性质,不相容选言推理法有两条规则:①小前提肯定大前提中的一个选言肢,结论就否定其余部分的选言肢;②小前提否定大前提中一部分选言肢,结论就肯定余下的这个选言肢。相应于这两条规则,有两种推演形式:①肯定否定式:其大前提为不相容选言判断,小前提肯定大前提中的一个选言肢,从而推出否定其余选言肢的结论。它的结构式是 ...... (共453字) [阅读本文]>>
也可表示为:(p⩒q)∧p→。例如:“一个三角形要么是直角三角的,要么是锐角的,要么是钝角的;这个三角形是钝角的;所以,这个三角形既不是