热热热久久久免费视频|第四色五月婷婷五月天AV|日韩高清无码免费一级大片|日本成人手机在线视频|中文字幕无码Av在线|台湾a级别黄片免费看|欧美一级性爱亚洲第一性爱|A级黄色电影久草大|www.91精品视频|亚洲AV资源欧洲无码在线观

單詞乎

選言證明

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

詞典解釋

    1. 運(yùn)用選言直言推理所作的證明。間接證明的一種。以論題為一個(gè)選言支，構(gòu)造一個(gè)窮盡該問題一切可能的選言判斷，并斷定除該選言支外，其他選言支都是假的，從而斷定論題是真的。如為了證明電燈突然熄滅是因?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ò)