>>825
相変わらずデタラメだなお前は

∀ε∃δ∀x(0<┃x-2┃<δ→┃x^2-4┃<ε)
の否定は量化子か変わるので
∃ε∀δ∃x(0<┃x-2┃<δ∧┃x^2-4┃≧ε)
だぞ
ここで、δ=√(4+ε)-2と置けば矛盾が出る
これに対し、

＞(2)　(∃δ>0)(∀x∈R)　0<|x-2|<δ
という、お前のデタラメなやり方では、あるδに対しx=δ+2と置くだけで矛盾が出る
例えば、∀ε∃δ∀x(0<┃x-1┃<δ→┃[x]-1┃<ε)という偽の式ですら、
お前のやり方で否定すると閉じてしまうことになる