■
みなさま
論理学の非常勤授業、最近、休講続きで、ご迷惑をおかけしております。今日こそなんとかと頑張って仕事を終わらせたのですが、今度は長雨のせいで子どもが熱出してしまい、今日は家で在宅勤務しながら看病、というハメになってしまいました。
大変、大変申し訳ありません。補講予定は以下の通りです。
- 7月24日（火）５限目 第５講義室（授業教室と同じ）
- 7月31日（火）５限目 第５講義室（授業教室と同じ）
- 8月 3日（金）４限目 第４講義室
- 9月 3日（月） 第２講義室 午前10:30ー16:00
私の勝手な都合により、皆様にご迷惑をおかけして、大変申し訳ありません。
申し訳ありませんが、よろしくお願いいたします。矢田部俊介
先々週、先週と休講で本当に申し訳ありません。今後の授業予定は以下の通りです。
次回授業は、7月10日（火）に行います（∀の導入規則と除去規則）。補講期間の7月24日（火）に同じ教室で補講を行う予定で教務と調整中です（∃の導入規則と除去規則）。量化子の問題演習、及び形式的な算術体系とその上での定理証明について、集中講義期間（9月3日の週に）一日(3コマ程度)補講をしたいと考えています。具体的な日付は教務と協議中です。
教務との打ち合わせが終わり次第、またご連絡いたします。Klasisメール等を気にしていただければ幸いです。
本日の授業
授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∀の導入と除去
- 補講日について
