【論理学】「外では雨が降っており。かつ雨は降ってない」という前提から「源義経の母親はナポレオンである」という結論を導け
- kintoki_naruto
- 21315
- 5
- 6
- 4
@yayakiregimi_ @maphchbige 論理学ではAであるとAでないを導くと、任意の命題を導くことができるから、その証明をかけってことでしょう。
2014-07-16 11:40:16@yayakiregimi_ マジレス失礼します。 「雨が降っている」が成り立つので、「雨が降っている、又は、母はナポレオン」は成り立ちます。 「雨が降っている、又は、母はナポレオン」かつ「雨は降っていない」ため、選言三段論法で、「母はナポレオン」が導けます。
2014-07-16 11:34:26@m_hota ff外から失礼します。さきほどの論理学に興味持って・・・ 2行目はわかったのですが、最初の「雨が降っている」から「雨が降っている、又は、母はナポレオン」が成り立つのがわかんないです。 出来たらなんて検索かければだけでも教えてもらえませんか?論理学無知なので・・・
2014-07-16 11:54:14@miya_3861 恐らく、ここでの「または」の定義に疑問があるのでしょうか? 日常生活的な「または」は、「どちらか1つ」の意味合いが強いのですが、論理学の「または」は「どれか1つ以上」という意味なのです。数学の和集合と全く同じだと考えてください!
2014-07-16 12:08:05@miya_3861 つまりつまり、「雨が降っている、又は、母はナポレオン」は、雨が降っているという前提のため、片方が正しいので必ず成り立つのです。が、これは雨が降っているが成り立つからといって、母はナポレオンが成り立たないにはならないのです。
2014-07-16 12:11:50@maphchbige どこまで当たり前にしていいのかわからんのですが、 Bを任意の命題として Aが真ならA and B も真 ¬Aが真なら¬A and B も真 よって(A and B) and (¬A and B) も真 よってBは真 みたいにかけばいいのでは
2014-07-16 12:23:17@m_hota あぁ!わかりました!「雨が降っている」のが少なくとも成り立つので「雨が降っている、または、母親がナポレオン」が成り立つんですね!!!!
2014-07-16 12:31:53@miya_3861 はい! それでかつ、母はナポレオンの成り立つ可能性を否定していないのがとっても重要です! 論理学ってよりは大学数学に近いですね。
2014-07-16 12:33:36この問題の場合はおそらくそんな難しい話じゃなくて、講義でやったであろう、(A⇒B)⇔(¬A∨B)を説明できるかですね。 前段が偽なら、後段の真偽値と無関係に、命題全体は真であるという論理学の話です。 @aphros67 @Ponkom
2014-07-16 18:35:54@yayakiregimi_ 「(A∧¬A)⇒B」という命題がA,Bの真偽によらずにいつでも真であることを、真理表を書いて示せばいいってことだと思いますよ(マジレス)
2014-07-16 12:33:35@yayakiregimi_ 源義経とナポレオンは人間であり、人間は男か女か二者択一である。母親は親は女でありナポレオンは男で女ではない。よって与えられた前提から結論が導ける!とかでいいのかな
2014-07-16 14:50:29@yayakiregimi_ 「源義経の母親はナポリタン」に見えて無生物がどう生物を生むかというよくわからない脳内会議が自分の中で行われた
2014-07-16 13:29:46@yayakiregimi_ 絶対に違う答え。外では雨降ってるけど屋根下だから降ってないという設定でナポレオンは受け身のホモであり亡き父も同様ホモであるが子供ができないため義経を養子にする事を決めたから母親がナポレオンでも問題ない。
2014-07-16 12:56:46@yayakiregimi_ むずい・・・なんで義経の母親がナポレオンなの? ナポレオンは実は女性でタイムスリップして日本に来ちゃいました!的な?
2014-07-16 12:20:57