忍者ブログ
明確になった問題は共有される。共有された問題は議論される。議論された問題は無害化される。
[3196] [3195] [3194] [3193] [3192] [3191] [3190] [3189] [3188] [3184] [3187]
http://nlab.itmedia.co.jp/nl/articles/1407/17/news058.html

「外では雨が降っており かつ雨は降っていない」という前提から「源義経の母親はナポレオンである」という結論を導け
前提より「雨が降っている」は真である。
よって、「雨が降っている または 源義経の母はナポレオンである」は真である(※1)。
A or Bを成り立たせるためには「Aは真」「Bは真」「AとBどちらも真」のいずれかを示せば良い。
ここでは「Aは真」を前提から導いている。


前提より「雨は降っていない」は真である(※2)。

※1と※2より、「源義経の母はナポレオンである」は真である。
分かりやすく述べると"真でなければならない。よって真である。"となる。
これは「AまたはBは真である。Aではない。よってBは真である。」という形式の三段論法である。
※1によれば、「雨が降っている」「源義経の母はナポレオンである」の少なくともどちらかが真でなければならない。※2で雨は降っていないことを示したので、必然的に「源義経の母はナポレオンである」は真となる。



この証明では、そもそも前提から間違っているので結論がとんでもないことになっている。
その道の人いわく、誤った前提からはどんな結論も導けるらしい。
PR
この記事にコメントする
お名前
タイトル
文字色
URL
コメント
パスワード Vodafone絵文字 i-mode絵文字 Ezweb絵文字
管理人のみ閲覧可能にする    
Search
Tweet
Counter
Calendar
02 2024/03 04
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
31
Others
Powered by ニンジャブログ  Designed by ゆきぱんだ
Copyright (c) 座談会 with タルパ All Rights Reserved
忍者ブログ / [PR]