08/06/05 13:32:10
ε-δ論法が分からんと嘆いてる人間は要するに多重量化の意味の取り方が分かってないんだろ
>>295のような簡単な例で意味の取り方練習するしかないよ
二重量化の根本的発想に関しては>>292が言ってる通り、4パターンしかない
(a)全てのもの(∈A)1つ1つに対して、全てのもの(∈B)が紐付いてる状態
(b)全てのもの(∈A)1つ1つに対して、少なくとも1つのもの(∈B)が紐付いてる状態
(c)全てのもの(∈B)に紐付いてるもの(∈A)が、少なくとも1つある状態
[= いくつかのもの(∈A)1つ1つに対して、全てのもの(∈B)が紐付いている状態]
(d)いくつかのもの(∈B)に紐付いてるもの(∈A)が、少なくとも1つある状態
[= いくつかのもの(∈A)1つ1つに対して、いくつかのもの(∈B)が紐付いている状態]
唯一存在命題(∃!)もあるがとりあえずそれは無視するとして、根本的発想さえきちんと分かっていれば
二重量化の解釈はそれほど難しいことではない
ちなみに、解釈したものをきちんと分かりやすい日本語に置き換えられるかどうかは、また別の問題