■
補講日程について
補講日投票結果（重複あり）
一日に3コマ集中か、3日間バラバラか
- 集中 18票
- バラバラ 3票
補講に都合の良い日はいつか
- 第一候補：
- 8月18日（月）（8票）
- 8月19日（火）（8票）
- 第二候補：
- 8月14日（木）（7票）
- 8月15日（金）（7票）
8月20日（水）（7票）（講師の所用のため）
8月14-19日の周辺、集中講義のない日を選びたいため、以上4候補から7月15日に再投票とします。
本日の授業
授業第九回目、存在量化子 ∃の導入・除去規則についてです。∀の場合は導入規則にeigenvariable条件がありましたが、∃では除去規則に似たようなeigenvariable条件があり、∃xA の除去規則で Aを満たす自然数 x を選ぶ際の制約条件はAのみであることを表現しています。この規則は x がA[x]を満たす「未知数」であることを表現しています。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∃の導入と除去
