今回の授業、直前の会議の関係で、ちょっと遅れる可能性があります！ （16時50分までには到着すると思います） 後期授業第六回目の今回は、前回学んだ直観主義論理の性質と、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明で…