おことわり
申し訳ありませんが、授業中にアナウンスしたように、今週は休講です。
28日に補講を行います。
- 補講予定日：6月28日（木）16:30〜＠文学部第5講義室（現在の論理学授業と同じ教室）
- 補講内容：授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
- 前回の復習
- 宿題の答え合わせ
- 述語論理:∀の導入と除去
- 補講日について
- 授業スライド こちらから
- 授業要旨・宿題 こちらから
- 注意：補講欠席者のために、7月３日（火）の授業でも、復習を兼ねた概略説明、および問題演習を行います。
