詞語解釋

選言證明（選言證明）[ xuǎn yán zhèng míng ]

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

分字解釋