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