22/04/29 08:24:57 VrIdLbpW.net
>>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}
と定義するんですよ
そうしないと、集合論を一階述語論理で記載できませんよ
知らなかったんですか？こんなの大学数学の常識ですよ
あ、大学行ってない？高校も中退？じゃ、中卒？
じゃあ、述語論理知らんわけですね
∃も∀も読めないわけだ 数学的文盲ですね
論理式も読めないんじゃ 数学書全く読めませんもんね