kyoto_logic https://blog.hatena.ne.jp/kyoto_logic/ 科学哲学科学史 (演習) 論理学 https://kyoto-logic.hatenablog.com/ 後期授業第九回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回は、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典命題論理の健全性定理を、メタの帰納法により証明します。 授業内容 前回の復習 古典命題論理の完全性 古典命題論理の健全性 本日の授業資料・宿題 授業スライド こちらから 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkyoto-logic.hatenablog.com%2Fentry%2F20170117" title=" - 科学哲学科学史 (演習) 論理学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-01-17 00:00:00 rich https://kyoto-logic.hatenablog.com/entry/20170117 1.0 100%