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