6月20日の宿題は、来週7月2日（火）の問題演習で回答します！ 本日の授業 授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規…

6月20日の宿題は、来週7月2日（火）の問題演習で回答します！ 本日の授業 授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規…

今週は木曜日が授業です。 本日の授業 授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。 授業内容 前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 …

6/11（火）は、授業中にお伝えした事情により、休講とします。 6/18（火）ですが、実は、大学の創立記念日だそうです。お休みです。 あまりに休講続きなため、6/20（木）は、予定を変更し、授業を行います。

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

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