2010-12-14 ■ 授業第二十三回目、本日は古典命題論理と古典述語論理の完全性定理の話をします。 今回はまず、前回紹介した古典命題論理の完全性定理における証明探索樹を使った真理関数の構成法を、実例を使って再度解説します。また、古典述語論理の完全性定理を、命題論理における証明探索樹の構成法を拡張したやり方で証明します。述語論理の場合、証明探索樹の大きさが無限になってしまうため、無限的な操作(弱ケーニッヒの補題)が必要になります。