选言证明

选言证明   xuǎn yán zhèng míng

亦称“排他证明”。运用选言直言推理的否定肯定式的证明方法。间接证明的一种。以论题为一个选言肢,构成一个穷尽该问题一切可能的选言判断,并以确定该选言肢(即论题)以外其余选言肢的假,来证明论题的真。如为了证明“”是真的,可以先构成“或者是‘甲’,或者是‘乙’,或者是‘丙’(甲、乙、丙分别表示判断)”这个选言判断,然后确定“”和“”是假的,从而证明“”是真的。运用选言证明时,选言肢必须列举完全;否则,论题就得不到证明。

 

国学大师APP下载

X