>>693
>さて、念押しですが
>条件 p,q を満たすものの集合をそれぞれ P,Q とするとき
>条件「pかつq」および「pまたはq」をあらわす図は、
>それぞれ次のようになる。
>・ここで、
>「pかつq」←→P∩Q
>「pまたはq」←→P∪Q
>　と相互に移り合うのです

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

>（ぐだぐだ∃∀いうやついるけど、カンケーネーｗ）

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

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

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

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

あ、大学行ってない？高校も中退？じゃ、中卒？
じゃあ、述語論理知らんわけですね
∃も∀も読めないわけだ　数学的文盲ですね
論理式も読めないんじゃ　数学書全く読めませんもんね