2012-03-23から1日間の記事一覧

矛と盾と空飛ぶ豚（証明編）

論理入門

※矛と盾と空飛ぶ豚の続き「どんな盾も突き通す矛」と「どんな矛もふせぐ盾」が同時に存在したら、豚が空を飛ぶ。「果たしてそんなことが本当に証明できるのだろうか？」ブタゲンシュタイン博士は首をかしげながら、記号による証明を試みた。そして３日後…