■
補講予定は以下の通りです。
7月24日（火）５限目 第５講義室（授業教室と同じ）- 7月31日（火）５限目 第５講義室（授業教室と同じ）
- 8月 3日（金）４限目 第４講義室
- 9月 3日（月） 第２講義室 午前10:30ー16:00
私の勝手な都合により、皆様にご迷惑をおかけして、大変申し訳ありません。よろしくお願いいたします。
矢田部俊介
本日の授業
授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現しています。この規則は x がA[x]を満たす「未知数」であることを表現しています。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∃の導入と除去
