拼音xuǎn yán zhèng míng
注音ㄒㄨㄢˇ 一ㄢˊ ㄓㄥˋ ㄇ一ㄥˊ
繁體選言證明
⒈ ?運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支,構(gòu)造一個窮盡該問題一切可能的選言判斷,并斷定除該選言支外,其他選言支都是假的,從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了,可以構(gòu)造選言判斷如下:“電燈突然熄滅,或者是因為停電,或者是因為保險絲燒斷,或者是因為線路發(fā)生故障,或者是因為燈泡壞了?!比缓蟾鶕?jù)事實斷定前三個選言支為假,從而斷定論題是真的。