授業スライド こちらから 演習問題 こちらから

前回の復習 存在具体性 問題演習

授業第二十回目は、直観主義論理に関する問題演習です（余った問題は宿題です）。また、存在具体性と構成性に関する問題にも触れます。