前回授業スライド p.43-45 を参考にしてください。 レポート問題 前回授業スライド p.44-45 を見てください（日頃の宿題の出来に自身がある人は提出する必要はありません）。

平常授業： 1/10：古典論理の演習 1/17(最終回) ：カリー・ハワード対応（エクストラ）

授業24回目の今回は古典論理に関する問題演習です。