(cache)佐久間ちゃん on X: "殿様「この屏風に描かれた虎は夜中に屏風から抜け出して人を襲うので困ってる。そこでこの虎を一休さんに退治してほしい」数学徒の一休さん「『この虎は屏風から抜け出す』という仮定が偽なので『その仮定の下で私がその虎を退治した』という命題は既に自明に真ですね」殿様「あっぱれじゃ！」" / X

殿様「この屏風に描かれた虎は夜中に屏風から抜け出して人を襲うので困ってる。そこでこの虎を一休さんに退治してほしい」数学徒の一休さん「『この虎は屏風から抜け出す』という仮定が偽なので『その仮定の下で私がその虎を退治した』という命題は既に自明に真ですね」殿様「あっぱれじゃ！」