初歩的なことだと思いますが質問させてください。
ひとつの命題に存在記号∃が１つだけなら日本語にでるのですが、２つ以上入ってくる
と分からなくなります。
例えばf(x)が(a,b)で連続することの否定命題
「∃c∈(a,b)、∃ε＞0、∀δ＞0、∃x∈(a,b)、|x-c|≦δかつ|f(x)-f(c)|＞ε」
だと「|x-c|≦δかつ|f(x)-f(c)|＞εなるxが存在し、すべてのδに対し|x-c|≦δかつ|f(x)-f(c)|＞ε
なるεが存在し、cが存在する」というわけ分からない日本語になってしまいます。
何か論理記号についてこんなこととかが詳しく載ってるサイトなどがあったら教えてください。