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

---

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

---

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

---

619(3): 2019/06/20(木)16:00 ID:VkC+KXYR(49/87) AAS
述語論理の限量子∀、∃の効果的な使い方

例えば自然数全体の集合Nの部分集合Sは
以下の２つの場合がある

１）∃s1∈S．∀s2∈S．s1>=s2
２）∀s1∈S．∃s2∈S．s1＜s2

１）、２）はそれぞれいかなる集合か答えよ

※こんなの東大では簡単すぎて問題に出す気もせんわ

---

622: 2019/06/20(木)16:07 ID:VkC+KXYR(51/87) AAS
スレ主は>>619はわからんだろうな
日本語も読めないんだから論理式なんか全然読めないだろｗ
そんなテイタラクで数学を語る？なめとんか、ワレ（＾＾

---

624(2): 2019/06/20(木)16:11 ID:VkC+KXYR(52/87) AAS
>>619を改訂しとこうｗ
”　”の箇所が改訂箇所

述語論理の限量子∀、∃の効果的な使い方

例えば自然数全体の集合Nの”空集合でない”部分集合S
は 以下の２つの場合がある

１）∃s1∈S．∀s2∈S．s1>=s2
２）∀s1∈S．∃s2∈S．s1＜s2
省2

---

723: 2019/06/20(木)23:16 ID:aGFF1as7(15/16) AAS
>>619
>１）∃s1∈S．∀s2∈S．s1>=s2
maxSが存在する　例えばS={0}
>２）∀s1∈S．∃s2∈S．s1＜s2
maxSが存在しない　例えばS={2n|n∈N}

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s