授業スライド p.30 を参考にしてください。

平常授業： 12/14, 12/21：古典述語論理の完全性 1/11, 1/18(最終回) ：範疇文法（エクストラ） 授業なし： 12/28, 1/4

授業スライド こちらから

前回の復習 古典命題論理の健全性 古典命題論理の完全性 宿題

授業第二十二回目、本日は古典命題論理の健全性定理と完全性定理の話をします（述語論理の健全性と完全性は次回に持ち越しです）。 健全性定理は、証明可能な式は恒真式であることを主張し、こちらは証明図の長さに関する（メタの）帰納法により簡単に証明で…