選言證明
詞典解釋
-
- 運(yùn)用選言直言推理所作的證明。間接證明的一種。以論題為一個(gè)選言支,構(gòu)造一個(gè)窮盡該問(wèn)題一切可能的選言判斷,并斷定除該選言支外,其他選言支都是假的,從而斷定論題是真的。如為了證明電燈突然熄滅是因?yàn)?/a>燈泡壞了,可以構(gòu)造選言判斷如下:“電燈突然熄滅,或者是因?yàn)?a href="/hycd/t/t379591.htm" target="_blank">停電,或者是因?yàn)?a href="/hycd/b/b21444.htm" target="_blank">保險(xiǎn)絲燒斷,或者是因?yàn)?a href="/hycd/x/x152688.htm" target="_blank">線路發(fā)生故障,或者是因?yàn)闊襞輭牧?。?a href="/hycd/r/r205917.htm" target="_blank">然后根據(jù)事實(shí)斷定前三個(gè)選言支為假,從而斷定論題是真的。
0
糾錯(cuò)
詩(shī)詞名句推薦
- 掃塵拾得殘?jiān)姼?,滿紙風(fēng)鴉字半斜——— 陸游九月二十五日雞鳴前起待旦
- 自昔衣完儀里闬,至今詩(shī)禮擅家庭——— 洪邁自鳴山
- 胡雁畏空漠,群飛向洲渚——— 蔡襄胡雁
- 故以此句寫(xiě)之——— 姜夔念奴嬌·鬧紅一舸
- 賜與衣裳盡是緋——— 佚名南鄉(xiāng)子
- 借問(wèn)使乎何時(shí)來(lái),莫作東飛伯勞西飛燕——— 岑參青門(mén)歌,送東臺(tái)張判官
- 眼為幻使不由我,心與空俱無(wú)復(fù)它——— 曾豐欲入修門(mén)未果且留妙山逆旅書(shū)所見(jiàn)呈富陽(yáng)大夫
- 斂萬(wàn)丈、光芒回照——— 劉克莊賀新郎
- 綠塘漾漾煙濛濛,張翰此來(lái)情不窮——— 溫庭筠溪上行
- 春潮不到石城腳,十丈樓船淺沙閣——— 釋寶曇登石頭城
最新應(yīng)用