[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

182(1): 2017/10/06(金)23:13 ID:5GoVJcVa(6/8) AAS
>>178
論理式は言葉なのだから、文学部でも分かることだ

∃ｘ∈N∀ｙ＞ｘ⇒P(y)　を満たす述語P
→あるｎから先のｍではP(m)が必ず成り立つ
→P(ｎ）が成り立たないｎの上限がある
→P（ｎ）が成り立たないｎが有限個

∀ｘ∈N∃ｙ＞ｘ＆P(y)　を満たす述語P全体
省3

---

201: 哀れな素人 2017/10/07(土)10:24 ID:ne3MKL32(1/3) AAS
>>182
そういう意味なら
∃ｘ∈N∀ｙ＞ｘ⇒P(y)　は∃ｘ∈N、∀ｙ＞ｘ⇒P(y)　
∀ｘ∈N∃ｙ＞ｘ＆P(y)　は∀ｘ∈N、∃ｙ＞ｘ＆P(y)　
と書くべきである(笑
お前は書き方も知らないで書いているのか(笑

で、そもそもお前は何が言いたいのか(笑

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.028s