第10回授業は、量化子に関する問題演習および宿題解説、また成績等の説明を行います。

6/11（火）は休講です。 今週の授業予定 授業第七回目、命題論理はいっぺんおいて、今回から述語論理に入ります。量化子の初回は何故量化子が必要なのか、量化子∀との∃の導入の意図を説明します。 数学では無限を本質的に扱いますが、無限は命題論理の枠組み…