授業中にお知らせしたとおり、12/24と1/7は休講とします。1/21は授業を行います

授業中にお知らせしたとおり、12/24と1/7は休講とします。1/21は授業を行います

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

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

後期授業第九回目の今回は、古典論理と排中律、および古典論理のモデルの紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変…

古典論理での証明に関する問題演習とします。問題は当日配布します。注：先週、エクストラ問題として、二重否定除去則を使って排中律等を証明しようという問題がでていますので、お時間がある方はどうぞ。