[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
172(5): 2017/10/06(金)22:59 ID:5GoVJcVa(3/8) AAS
>>159
＞それには乗らないよ。
>>163
＞問題の意味自体が分らない(笑
>>155の述語論理式が読めなかったようだ
∃ｘ∈N∀ｙ＞ｘ⇒P(y) を満たす述語P
→P（ｎ）が成り立たないｎが有限個
省9
174: 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/06(金)23:00 ID:RRch+NSQ(12/20) AAS
>>172
ピエロくん、解説ごくろうさん（＾＾
178(3): 哀れな素人 2017/10/06(金)23:08 ID:vZ799LS7(10/10) AAS
>>172
文学部なのだから論理式など読めるわけがない(笑
∃ｘ∈N∀ｙ＞ｘ⇒P(y) を満たす述語P
→P（ｎ）が成り立たないｎが有限個
∀ｘ∈N∃ｙ＞ｘ＆P(y) を満たす述語P全体
→P（ｎ）が成り立つｎが無限個
↑これの意味を全部素人が分るように説明してくれ(笑
省2
194(2): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/07(土)08:17 ID:U9YX2SH3(1/26) AAS
>>192
ピエロくん、ご苦労
まじれすすれば、哀れな素人さんが、（>>178を見ると）どうも”うぶ”だから、ちょっと忠告した
もともと、
（>>4より）
「大学新入生もいると思うが、間違っても２ＣＨで数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；」だ
省10
198(1): 現代数学の系譜 工学物理雑談 古典ガロア理論も読む 2017/10/07(土)08:33 ID:U9YX2SH3(5/26) AAS
>>197 １点余談と補足
>>172でね
”∃ｘ∈N∀ｙ＞ｘ⇒P(y) ” ＆ ”→P（ｎ）”
これな
”ｘ∈N”って書き方がさ、普通 ”ｘ,ｙ,ｎ∈N”と最初に定義すると思うんだよね、注意深い人は（＾＾
省3
200(1): 2017/10/07(土)10:17 ID:3XCqYvtP(2/7) AAS
>>198
>>172の記述で 論理式の箇所は
∃ｘ∈N∀ｙ＞ｘ⇒P(y) だけじゃね？
上記はバカ丁寧に書くと
∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)）
となる これ論理式知ってる人なら常識の記法
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s