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

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

授業スライド こちらから

前回の復習 命題論理の完全性（再） 述語論理の完全性 宿題

授業第二十三回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、前回紹介した古典命題論理の完全性定理における証明探索樹を使った真理関数の構成法を、実例を使って再度解説します。また、古典述語論理の完全性定理を、命題論…