授業スライド こちらから 宿題 こちらからなお、宿題は1-5のみをやってください。

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

授業第八回目、存在量化子 ∃の導入・除去規則についてです。