pdf版はこちらからダウンロード可能です。前期の宿題の大部分を提出していない学生は、以下のどちらかについてレポートをまとめ、1/15 までに提出すること*1 (A) Tonk が論理結合子として認められない理由について述べ、（一つの言語と体系を固定した状況で…

授業スライド 宿題 はなし。

前回の復習 古典論理のモデル 古典論理と直観主義論理の関係 今後の予定・成績について

授業第十七回目、本日は古典論理のモデルの話と、直観主義論理と古典論理の関係としてグリベンコの定理の話をします。

前回の復習 直観主義論理 古典論理 今後の予定・成績について

授業スライド こちらから 宿題 はなし。

授業第十六回目、本日は排中律の話、排中律を受け入れることでどのような変化がもたらされるかという話をします。最小論理→直観主義論理→古典論理と拡大するにつれて、場合分けの議論をするための道具立てが整備されてくることを見てください。