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