εδ論法がわかりません!! (><)
■ このスレッドは過去ログ倉庫に格納されています
0303132人目の素数さん
2008/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)が紐付いている状態]
唯一存在命題(∃!)もあるがとりあえずそれは無視するとして、根本的発想さえきちんと分かっていれば
二重量化の解釈はそれほど難しいことではない
ちなみに、解釈したものをきちんと分かりやすい日本語に置き換えられるかどうかは、また別の問題
■ このスレッドは過去ログ倉庫に格納されています