選言證明

詞語(yǔ)解釋
選言證明(選言證明)[ xuǎn yán zhèng míng ]
⒈ ?運(yùn)用選言直言推理所作的證明。間接證明的一種。以論題為一個(gè)選言支,構(gòu)造一個(gè)窮盡該問(wèn)題一切可能的選言判斷,并斷定除該選言支外,其他選言支都是假的,從而斷定論題是真的。如為了證明電燈突然熄滅是因?yàn)闊襞輭牧?,可以?gòu)造選言判斷如下:“電燈突然熄滅,或者是因?yàn)橥k姡蛘呤且驗(yàn)楸kU(xiǎn)絲燒斷,或者是因?yàn)榫€路發(fā)生故障,或者是因?yàn)闊襞輭牧?。”然后根?jù)事實(shí)斷定前三個(gè)選言支為假,從而斷定論題是真的。
分字解釋
※ "選言證明"的意思解釋、選言證明是什么意思由酷文網(wǎng)-專業(yè)的漢語(yǔ)字詞典與文學(xué)資料庫(kù)漢語(yǔ)詞典查詞提供。
相關(guān)詞語(yǔ)
- lǐ xuǎn里選
- zhàng yì zhí yán仗義執(zhí)言
- zhí yán zhèng lùn直言正論
- tiāo xuǎn挑選
- rèn zhèng認(rèn)證
- xǐng shì héng yán醒世恒言
- wén xuǎn文選
- chuán yán傳言
- gōng zuò zhèng工作證
- yǐn yán引言
- yǔ yán語(yǔ)言
- yán shēn cùn言身寸
- biān xuǎn編選
- zhí yán zhèng jiàn直言正諫
- jué míng決明
- xuǎn míng選名
- lì yán力言
- guāng míng zhèng dà光明正大
- xuǎn zé選擇
- fēn míng分明
- cí yán yì zhèng詞言義正
- jù yán具言
- chá zhèng查證
- kūn míng昆明
- bù míng不明
- zòu míng奏明
- xuǎn qǔ選取
- xuǎn jǔ選舉
- dài yán代言
- guāng míng光明
- shǒu xuǎn首選
- zì shí qí yán自食其言