2012-12-11から1日間の記事一覧
授業スライド p.41 以降を参考にしてください。
平常授業: 平常授業: 12/18:古典述語論理のモデルと完全性 1/8 :ゲーデルの不完全性定理 1/22 :ゲーデルの不完全性定理(最終回) 授業なし: 12/25
授業スライド こちらから 授業要約・宿題 こちらから
前回の復習 宿題の答え合わせ 古典命題論理の完全性 古典命題論理の健全性 宿題
授業第二十二回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回はまず、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典命題論理…