- 619 名前：１３２人目の素数さん mailto:sage [2009/03/03(火) 07:38:21 ]
- 多重量化を扱える（意味が分かる、とは敢えて言わない）というのと、
連続のεδ式定義が分かるというのは違うことだと思うけど。
なんで「連続」という用語がその式で定義されるのかを分かってないと
いくら記号変形だけ出来ても意味が無いと思うけど。
それからお前ら、ここは数学の本に関する（略
>>615
[∀x1∃x2∀x3 Pa(x) ∧ ∃y1∀y2∃y3∀y4Pb(y)]∨∃z1∀z2∃z3Pc(z)
を同じように∀∃∀…… Pとか∃∀∃……Pのような形
(ここで P は量化記号を含まない。prenex normal formとかいう)に変形せよ。
自由に操れるというのは最低このくらい出来ることを言うと思う。
でもたぶんすぐには出来ない人のほうが多いんじゃないかな。
選択公理っていうのは多くの場合、∀x∃y P(x, y)という式を
∃y(x)∀xP(x, y(x))という形に変形するのに使ってるんだよね。
