2。不相容选言判断及其真值
不相容选言判断是断定几个选言肢中至少有并且只能有一个为真,而不可同假的选言判断。
不相容选言判断的逻辑联结项,也可以用数理逻辑的符号”“(读作:”不相容析取“)来表示。
不相容选言判断的真假取决于它的各个选言肢的真假,可简单记为:选言肢只有一真时,不相容选言判断才真。
不相容选言判断的真假与选言肢的真假之间的关系,可以用真值表表示。参见教材第122页。
(三)选言判断的语言表达
1。相容选言判断的语言表达
相容选言判断的逻辑常项--相容选言联结项通常用”或者“表示。但在自然语言中,它的汉语表达形式是多样的。
2。不相容选言判断的语言表达
不相容选言判断的逻辑常项--不相容选言联结项通常用”要么“表示。但在自然语言中,它的汉语表达形式也是多样的。
(四)关于选言判断的选言肢应当穷尽的问题
一个选言判断的选言肢穷尽,是指相对于一定范围和条件而言,该选言判断所反映的思维对象的可能情况无一遗漏。反之,则该选言判断的选言肢不穷尽。
在具体的思维实际中,无论是相容的选言判断还是不相容的选言判断,都要求其选言肢穷尽。选言肢穷尽的选言判断必真;选言肢不穷尽的选言判断不必然真。
二、选言推理
选言推理是前提中至少有一个是选言判断,并且根据选言判断的逻辑性质推出结论的演绎推理。
选言推理根据选言前提的选言肢是相容的还是不相容的,可分为相容选言推理和不相容选言推理。
(一)相容选言推理
相容选言推理是两个前提中有一个是相容选言判断,并且根据相容选言联结项的逻辑性质推出结论的选言推理。
相容选言推理有两条规则:
第一,否定一部分选言肢,必然要肯定另一部分选言肢。
第二,肯定一部分选言肢,则不能否定另一部分选言肢。
相容选言推理只有一种否定肯定式是有效的,其逻辑形式是:
或者p,或者q;
非p(或:非q),
所以,q(或:p)。
例如:某甲或者是抢劫犯,或者是杀人犯;某甲不是抢劫犯,所以,某甲是杀人犯。
(二)不相容选言推理
不相容选言推理是两个前提中有一个是不相容选言判断,并且根据不相容选言联结项的逻辑性质推出结论的选言推理。不相容选言推理有两条规则:
第一,肯定一个选言肢,必然要否定其余的选言肢。
第二,否定除一个以外的其它选言肢,必然要肯定那个未被否定的选言肢。不相容选言推理有两个有效式,即肯定否定式和否定肯定式。