輸入需要查詢的詞語：
詞條：選言證明
xuǎn yan zheng ming
運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支，構造一個窮盡該問題一切可能的選言判斷，並斷定除該選言支外，其他選言支都是假的，從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了，可以構造選言判斷如下：「電燈突然熄滅，或者是因為停電，或者是因為保險絲燒斷，或者是因為線路發生故障，或者是因為燈泡壞了。」然後根據事實斷定前三個選言支為假，從而斷定論題是真的。