[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
700
(1): 2022/04/29(金)08:24 ID:VrIdLbpW(2/3) AAS
>>693
>さて、念押しですが
>条件 p,q を満たすものの集合をそれぞれ P,Q とするとき
>条件「pかつq」および「pまたはq」をあらわす図は、
>それぞれ次のようになる。
>・ここで、
>「pかつq」←→P∩Q
>「pまたはq」←→P∪Q
> と相互に移り合うのです

ベン図ですか 小学生ですなあ

>(ぐだぐだ∃∀いうやついるけど、カンケーネーw)

いやいや、2個だから全部書けるけど
無限個あったら全部列挙できないでしょ?

だから任意のiについて Pi⊂P のとき
無限和 ∪i Pi は {x∈P|∃i.x∈Pi}
無限積 ∩i Pi は {x∈P|∀i.x∈Pi}
と定義するんですよ

そうしないと、集合論を一階述語論理で記載できませんよ

知らなかったんですか?こんなの大学数学の常識ですよ

あ、大学行ってない?高校も中退?じゃ、中卒?
じゃあ、述語論理知らんわけですね
∃も∀も読めないわけだ 数学的文盲ですね
論理式も読めないんじゃ 数学書全く読めませんもんね
1-
あと 302 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.201s*