「源義経の母親はナポレオン」Twitterで話題の激ムズ論理学の問題を数学科の大学院生が説明するよ

「外では雨が降っており かつ雨は降っていない」という前提から「源義経の母親はナポレオンである」という結論を導け――とある学校で出された論理学の問題がTwitterで話題になっています。 この問題を投稿したのはほっそーさん（@yayakiregimi_）で、現在1万リツイート以上されています。ほっそーさんが「単位諦めました」と言っているように、ぱっと見ても全くわかりません。 解くことを放棄して大喜利や三題噺として楽しむ人たちもいる中で、まじめに答えを書き込む人たちも。 うーん、この答えが合っているのか違っているのかもわからん！ 実はこの「論理学」、数学で用いられている考え方とかなり近いところにあるのだそう。そういえば、中高の時に数学の授業で「AならばB」なんて勉強した記憶があるような。ということで、筑波大学数学科の大学院生にこの問題を解説してもらいました。 「これは『形式論理学』といわれてい

[bjm_tms]

矛盾した前提からは何でも示せる奴だ。

[go_kuma]

論理学以前に出題者の正気を問う問題かと。

[himomen]

これ好きすぎる　大学院ってこんな面白いことやってたのか知らなんだ

[uzuky]

(1) を [A ∧ ￢A] から導き出して矛盾から B を導き出して，最期に →I,(3) で仮定閉じればいいから，わざわざ左で A ∨ B 導いて右端で B を仮定してわかりにくくしなくてもいいと思うんだけど

[kmagami]

「矛盾した前提からはどんなものでも導き出せる」と論理法則に集約されるとのこと。通称「爆発原理」。

[kankichi20]

面白い！でも、母はナポレオンという前提を唐突に持ってくるところがモヤモヤするなあ。

[aceraceae]

これって、A⇒Bの直感的な解りにくさを利用した問題にみえる。

[kana321]

“論理学”論理学って大喜利？

[hundret]

「源義経の母親はナポレオン」Twitterで話題の激ムズ論理学の問題を数学科の大学院生が説明するよ - ねとらぼ @itm_nlabさんから

[medicineman]

↓公理だから証明されている