[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む38 [無断転載禁止]©2ch.net (772ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
506(2): ◆QZaw55cn4c 2017/08/15(火)19:21 ID:dNVFG2Rn(2/4) AAS
>>473
基本的な述語論理をやる上では必須ですけれども
この違いを形式的な記述でやろうとしても理解は困難だとつくづく感じております。
∀n∈N,∃m∈N,n≦m
この場合は n が変化するごとに n <= m をみたす m がかわってもいいんですが
∃m∈N,∀n∈N,n≦m
このときの m は n の値にかかわらず共通でなければならないんですよね
そういう風に丸覚えしているんですが、これを形式的に分解して納得するのは困難なのでは？
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 となりますが
ｎに別の具体的な自然数ｂを入れたら
省9
522: 現代数学の系譜 古典ガロア理論を読む 2017/08/15(火)20:22 ID:qidk3ATM(42/45) AAS
>>506
C++さん、どうも。スレ主です。
>基本的な述語論理をやる上では必須ですけれども
ああ、なるほど
C++さんのお得意のプログラミングの分野関連だったんだね
フォローありがとう（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s