授業スライド こちらから 授業要旨・宿題 こちらから
前回の復習 古典論理と排中律
授業第二十二回目の今回は、前回の直観主義論理のクリプキ・モデルの復讐を行うとともに、古典論理と排中律の紹介を行います。世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに排中律を付け加え…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。