17/08/15 19:28:45.59 6s+ZT53k.net
>>506
＞∀n∈N,∃m∈N,n≦m
＞この場合は n が変化するごとに n <= m をみたす m がかわってもいいんですが
＞∃m∈N,∀n∈N,n≦m
＞このときの m は n の値にかかわらず共通でなければならないんですよね
ええ、それは左から順に読むから
つまり∀n∈N,∃m∈N,n≦m で、
ｎに具体的な自然数ａを入れたとすると
∃m∈N,a≦m となりますが
ｎに別の具体的な自然数ｂを入れたら
∃m∈N,b≦m となりますね
で、前者と後者で、ｍに異なる値が入ってもいいんですよ
別の論理式ですから
で∃m∈N,∀n∈N,n≦m のときは、
ｍに入るある自然数ｃがあるとすると
∀n∈N,n≦ｃとなりますが
この式はnにaを入れようが、bを入れようが
成り立たなくてはなりません
そういうことです 大したことじゃありません