■

おことわり

申し訳ありませんが、授業中にアナウンスしたように、今週は休講です。
28日に補講を行います。

• 補講予定日：6月28日（木）16:30〜＠文学部第5講義室（現在の論理学授業と同じ教室）
• 補講内容：授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
  • 前回の復習
  • 宿題の答え合わせ
  • 述語論理:∀の導入と除去
  • 補講日について
• 授業スライド こちらから
• 授業要旨・宿題 こちらから

• 注意：補講欠席者のために、7月３日（火）の授業でも、復習を兼ねた概略説明、および問題演習を行います。