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

前回の復習 宿題の答え合わせ 量化子：∀と∃ 述語論理:∀の導入と除去 宿題について

新型インフルエンザが流行しているようですが、大学の規定により、本日も平常通り授業を行います。 授業第五回目、量化子および∀の導入・除去規則についてです。