選言證明
詞語解釋：
運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支，構造一個窮盡該問題一切可能的選言判斷，并斷定除該選言支外，其他選言支都是假的，從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了，可以構造選言判斷如下：“電燈突然熄滅，或者是因為停電，或者是因為保險絲燒斷，或者是因為線路發生故障，或者是因為燈泡壞了。”然后根據事實斷定前三個選言支為假，從而斷定論題是真的。
分詞解釋：
發生：
①原來沒有的事出現了；產生：發生變化ㄧ發生事故 ㄧ發生關系。
②卵子受精后逐漸生長的過程。
間接：
經過中間事物發生關系的。與“直接”相對：間接聯絡｜間接關系。
直言：
1.正直﹑耿直的話。
2.直率地說;說實話。
3.直言敢諫。漢晉察舉科目名。
故障：
（機械、儀器等）發生的不能順利運轉的情況；毛病：發生故障丨排除故障。
一切：
1.權宜;臨時。
2.副詞。一概;一律。
3.全部，所有。
4.泛指全部事物。
5.一般的;普通的。