[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
507(1): 2017/08/15(火)19:28 ID:6s+ZT53k(51/67) AAS
>>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を入れようが
成り立たなくてはなりません
そういうことです 大したことじゃありません
上下前次1-新書関写板覧索設栞歴
あと 265 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s