後期授業・補講の日程調整 1月23日（火）までにこちらのリンク先で投票して下さい。 後期授業第八回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回は、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を…