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

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

授業スライド こちらから

前回の復習 宿題の答え合わせ 命題論理の完全性 述語論理の完全性 宿題

授業第二十二回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典述語論…