後期授業第十回目の今回は、古典論理のモデルの紹介を行います。前回演習で紹介したように、古典論理での証明は、排中律をアクロバチックに使う事が可能なため、大変複雑なものになります。では人はなぜ古典論理を使うかというと、そのモデルが非常に簡単で…

古典論理での証明に関する問題演習とします。問題は当日配布します。注：先週、宿題として、古典論理（直観主義論理＋排中律）で二重否定除去則などを証明しようという問題がでており、その答合わせにあたります。お時間がある方はどうぞ。

今回の内容 後期授業第八回目は、直観主義論理上で新たな推論規則として排中律を導入し、古典論理を定義します。 世間一般の数学では、直観主義論理では証明できない「排中律」という規則をよく使います。直観主義論理に新たに推論規則として排中律を付け加…