17/09/23 11:00:49.76 NARsnXvT.net
>>500
>∀ｘ∃ｙ・・・
>と書いた場合、ｙはｘに依存する関数です
>∃ｙ∀ｘ・・
>と書けば、ｙはｘに依存しない定数です
これは当たり前だ。こんなのの説明に記号論理なんていらん。
「任意の d∈N」と書いたら後でまたdをN上で走らせられるようなことが多いし、
「或る d∈N」と書いたらdをNの上で走らせることは出来ない。
17/09/23 11:00:49.76 NARsnXvT.net
>>500
>∀ｘ∃ｙ・・・
>と書いた場合、ｙはｘに依存する関数です
>∃ｙ∀ｘ・・
>と書けば、ｙはｘに依存しない定数です
これは当たり前だ。こんなのの説明に記号論理なんていらん。
「任意の d∈N」と書いたら後でまたdをN上で走らせられるようなことが多いし、
「或る d∈N」と書いたらdをNの上で走らせることは出来ない。