授業スライド こちらから

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

平常授業： 平常授業： 1/8 ：ゲーデルの不完全性定理 1/22 ：ゲーデルの不完全性定理(最終回) 授業なし： 12/25, 1/8

前回の復習 宿題の答え合わせ 古典述語論理のモデル 古典述語論理の完全性 宿題

授業第二十五回目、本日は古典述語論理の完全性定理と健全性定理の話をします。 今回はまず、古典述語論理のモデル「タルスキ・モデル」を紹介します。また、古典述語論理の完全性定理を、命題論理の時と同様、「分析的推論」を一般化した証明探索樹を使った…

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

平常授業： 平常授業： 12/18：古典述語論理のモデルと完全性 1/8 ：ゲーデルの不完全性定理 1/22 ：ゲーデルの不完全性定理(最終回) 授業なし： 12/25

授業スライド こちらから 授業要約・宿題 こちらから

前回の復習 宿題の答え合わせ 古典命題論理の完全性 古典命題論理の健全性 宿題

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

授業スライド・宿題 http://researchmap.jp/muzaoo7aj-21099/#_21099:title=こちら]から

前回の復習 宿題の答え合わせ 命題論理と真理表 古典述語論理とモデル 宿題

授業第二十三回目は古典論理のモデルの話です。 古典論理は、証明論的には複雑ですが、一方、そのモデルは非常に簡単なものとなります。