麻豆精品在线久草熟女|色情一区二区三区|国产一级片国产特级片|亚州特级黄片在线免费观看|中文人妻少妇有码Av|日逼黄色毛片久久精品久久日|欧美黄色短片网站|无码在线资源黄色免费看视频|日韩无码1区2区3区|亚洲夜色在线五月天激情影院

單詞乎

選言證明

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

詞典解釋

    1. 運用選言直言推理所作的證明。間接證明的一種。以論題為一個選言支，構(gòu)造一個窮盡該問題一切可能的選言判斷，并斷定除該選言支外，其他選言支都是假的，從而斷定論題是真的。如為了證明電燈突然熄滅是因為燈泡壞了，可以構(gòu)造選言判斷如下：“電燈突然熄滅，或者是因為停電，或者是因為保險絲燒斷，或者是因為線路發(fā)生故障，或者是因為燈泡壞了。”然后根據(jù)事實斷定前三個選言支為假，從而斷定論題是真的。
0
糾錯