授業スライド こちらから 授業要旨・宿題 こちらから
前回の復習 宿題の答え合わせ 述語論理:∀の導入と除去 補講日について
授業第八回目、∀の導入・除去規則についてです。∀の導入規則には、eigenvariable条件という、非常にややこしい制限がついているので、注意が必要です。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。