大変申し訳ありません。年末進行のため急に会議が入ってしまい、明日の授業は休講とさせて頂きます。代わりに、休講予定だった12/25に授業を行います。二重に申し訳ありませんが、よろしくお願いします。
12月18日は、古典論理での証明に関する問題演習とします。問題は当日配布します。
前回の内容
前回の問題演習の折に紹介した内容ですが、前々回学んだ直観主義論理の性質と、古典論理と排中律の紹介でした。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加えると、古典論理となり、どのような変化がもたらされるかという話をしました。
本日の授業資料
授業スライド
こちらから
授業要旨・宿題
こちらから
