補講日第一回目です（試験期間中なので可能な方だけどうぞ）。後期授業第九回目の今回は、古典論理と排中律、および古典論理のモデルの紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理…

新年明けましておめでとうございます！ 新年第一回目は、古典論理での証明に関する問題演習とします。問題は当日配布します。