数理論理学

中間テスト。問題は非常に易しかった。助かったぁ。時間があったので別の解法なども考えてみた。蛇足にならなければよいが。