运用选言直言推理所作的证明。间接证明的一种。以论题为一个选言支,构造一个穷尽该问题一切可能的选言判断,并断定除该选言支外,其他选言支都是假的,从而断定论题是真的。如为了证明电灯突然熄灭是因为灯泡坏了,可以构造选言判断如下:“电灯突然熄灭,或者是因为停电,或者是因为保险丝烧断,或者是因为线路发生故障,或者是因为灯泡坏了。”然后根据事实断定前三个选言支为假,从而断定论题是真的。...全文
断定事物情况有几种可能的复合判断。组成选言判断的各个判断,叫选言支。一个选言判断至少有两个选言支。选言支之间,可以是相容的关系,也可以是不相容的关系。前者用“或者…或者…”、“可能…也可能…”等做逻辑联结词,至少要有一个选言支是真的,该选言判断才是真的。后者用“要么…要么…”、“不是…就是…”等做逻辑联结词,只有在一个选言支真的情况下,该选言判断才是真的。...全文