問題解答例:練習問題7.35のヒント:(GEN)と(GEN')の一方から他方を相互に導く際に記号がぶつかると混乱をきたしやすいので、(GEN')のほうの記号を書き換えておきます。 (GEN')\(\quad\psi\quad\Longrightarrow\quad\forall\beta(\psi[\beta/\mu])\) ただし\…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。