授業やるやるサギになって久しく、本当に申し訳ありません。が、24日は、24日こそ授業を行います！
補講予定は以下の通りです。
- 7月24日（火）５限目 第５講義室（授業教室と同じ）
- 7月31日（火）５限目 第５講義室（授業教室と同じ）
- 8月 3日（金）４限目 第４講義室
- 9月 3日（月） 第２講義室 午前10:30ー16:00
私の勝手な都合により、皆様にご迷惑をおかけして、大変申し訳ありません。よろしくお願いいたします。
矢田部俊介
本日の授業
授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∀の導入と除去
- 補講日について
