基本解釋
運(yùn)用選言直言推理所作的證明。間接證明的一種。以論題為一個(gè)選言支,構(gòu)造一個(gè)窮盡該問(wèn)題一切可能的選言判斷,并斷定除該選言支外,其他選言支都是假的,從而斷定論題是真的。如為了證明電燈突然熄滅是因?yàn)闊襞輭牧?,可以?gòu)造選言判斷如下:“電燈突然熄滅,或者是因?yàn)橥k姡蛘呤且驗(yàn)楸kU(xiǎn)絲燒斷,或者是因?yàn)榫€路發(fā)生故障,或者是因?yàn)闊襞輭牧??!比缓蟾鶕?jù)事實(shí)斷定前三個(gè)選言支為假,從而斷定論題是真的。
[查看更多]