来週 6月8日（月）は、都合のため、休講とします。

授業スライド こちらから 宿題 こちらから

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 休講情報 宿題について

授業第七回目、∀の導入・除去規則についてです。