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

前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 宿題

授業第七回目、∀の導入・除去規則についてです。∀の導入規則には eigenvariable 規則という条件が入っています。この条件は、一見意味をつかむのが難しいですが、本来は「条件なしで選んだ任意のxについて」という意味を担保するため、xについての余計な条件…