■

授業内容

後期授業第十二回目、本日は古典述語論理のタルスキモデルと、完全性定理および健全性定理の話をします。
前期の授業でやったように、そもそも述語論理は無限個の対象に関する推論を行うために導入されたものであり、述語論理のモデルは、命題論理に比べれば複雑なものとなります。今回は、古典述語論理のタルスキモデルがどのような考え方の元に作られたかを説明します。同時に、古典述語論理の完全性定理の証明について、古典命題論理の完全性定理の際に使われた証明探索樹による構成法について、どう修正が必要かを解説します。