授業スライド・宿題 こちらから

前回の復習 古典論理と直観主義論理の関係 グリベンコの定理の証明 今後の予定・成績について

授業第十九回目、今回は、直観主義論理と古典論理の関係の話として、グリベンコの定理をとりあげます。グリベンコの定理は、任意の命題 P に関し、Pが古典命題論理で導出されることと、¬¬Pが直観主義命題論理で導出される事が同値であることを主張するメタ定…