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

平常授業： 12/20：古典述語論理の完全性 1/11：古典論理の演習 1/18(最終回) ：カリー・ハワード対応（エクストラ） 授業なし： 12/27, 1/3

授業スライド こちらから

前回の復習 古典命題論理の健全性 古典述語論理の健全性 他の体系 今後の予定

授業第二十三回目、本日は、メタの帰納法により、古典命題論理と古典述語論理の健全性定理の証明をします。 また、ヒルベルト流(Hilbert style)や推件計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します（紹介して…