とする.このとき次の式を因数分解せよ. (解答) ∀-除去 仮定 ⇒-導入 i.e. この論証は仮定に依存していないので,∀-導入適用可能である.したがって ∀-導入 である.
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。