2013-12-01から1ヶ月間の記事一覧
申し訳ありませんが、急用により、明日は休講とさせて頂きます。 大変申し訳ありません。
授業スライド こちらから 授業要旨・宿題 こちらから
前回の復習 古典論理と排中律 古典命題論理と真理表 古典述語論理とモデル
授業第二十回目の今回は、古典論理と排中律、および古典論理のモデルの紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化…
授業スライド こちらから 演習問題 こちらから
前回の復習 存在具体性 問題演習
授業第十九回目は、直観主義論理に関する問題演習です(余った問題は宿題です)。また、存在具体性と構成性に関する問題にも触れます。