与えられた複雑な条件よりもより簡単な同値条件を求めるという問題は数学では非常に多くあるが, 最初に理解しておかないといけないのは, 一般的に「すべての」とか「存在する」とかの修飾を受け量化された変数 (束縛変数) は消去され, 自由変数のみの同値条…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。