■
4月の学生便覧送付時にもお知らせしておりますが、文学部・文学研究科の学年暦上、7月18日(火)は授業休止日です。
そのため、7月11日が前期授業の最終日です。
この分、および休講分の補講を、8月に開催します。
7月11日授業で日程アンケートを行い、結果は Klasis メールおよび本websiteでお知らせします。
アンケートは、以下のリンクから投票できます!
http://doodle.com/poll/c2ssdiq9gtrq2v7d
本日の授業
授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現しています。この規則は x がA[x]を満たす「未知数」であることを表現しています。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∃の導入と除去