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