選言證明
拼音：xuǎn yán zhèng míng
選言證明詞語分解
選言證明的描述
運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支，構造一個窮盡該問題一切可能的選言判斷，並斷定除該選言支外，其他選言支都是假的，從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了，可以構造選言判斷如下：“電燈突然熄滅，或者是因為停電，或者是因為保險絲燒斷，或者是因為線路發生故障，或者是因為燈泡壞了。”然後根據事實斷定前三個選言支為假，從而斷定論題是真的。
選言證明的相關詞語
- 選購的解釋 [pick out and buy;selective purchasing] ...
- 選輯的解釋 挑選並輯錄。亦指選輯成的書。 黃人 《＜清文匯＞序》：“夫以吾國文學之雄奇奧衍，...
- 選具的解釋 齊全；齊備。《國語·齊語》：“牛馬選具。” 王引之 《經義述聞·國語上》：“...
- 選取的解釋 [choose] 選擇
- 選委的解釋 猶選派。《元典章·戶部七·押運》：“檢覷得多有水濕浥變損壞，短少數目，蓋是各...
- 選推的解釋 選拔推舉。 南朝 梁 江淹 《賜赦交州詔》：“其股肱文武，詳材選推；並遣大使...
- 選仙圖的解釋 見“ 選仙 ”。
- 選騷的解釋 指 南朝 梁 蕭統 編選的《文選》和以 屈原 《離騷》為代表的《楚辭》。 宋...
- 選事的解釋 (1).謂自選差使。《國語·魯語上》：“君不命吾子，吾子請之，其為選事乎？” ...
- 選刷的解釋 猶挑選。 清 洪昇 《長生殿·彈詞》：“想當初慶皇 唐 太平天下，訪麗色把蛾...
- 選仙的解釋 古代一種賭錢之戲。 宋 王珪 《宮詞》之八一：“盡日閒窗賭選仙，小娃爭覓到盆錢...
- 選蝡的解釋 同“ 選耎 ”。 明 唐順之 《送崑山縣令朱侯序》：“其俗選蝡，畏避科徭，以保...