授業中に注意したように、以下の条件を追加しました。 Bはyを自由変数として含まない Fはyを自由変数として含まない

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

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

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