選言證明的意思

注音 ㄒㄨㄢˇ 一ㄢˊ ㄓㄥˋ ㄇ一ㄥˊ

拼音 xuǎn yán zhèng míng

基本釋義

⒈  運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支,構造一個窮盡該問題一切可能的選言判斷,並斷定除該選言支外,其他選言支都是假的,從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了,可以構造選言判斷如下:“電燈突然熄滅,或者是因為停電,或者是因為保險絲燒斷,或者是因為線路發生故障,或者是因為燈泡壞了。”然後根據事實斷定前三個選言支為假,從而斷定論題是真的。