20/03/18 22:00:30 k5ev/+el.net
>>850
∀x [x∈入学式出席者全体の集合 ⇒ x∈受験合格者全体の集合]
もしくは、単に
∀x∈ 入学式出席者全体の集合 xは受験合格者
∀x∈A φ(x)
⇔ ∀x (x∈A→φ(x))
これ同じ意味なんですよ
20/03/18 22:00:30 k5ev/+el.net
>>850
∀x [x∈入学式出席者全体の集合 ⇒ x∈受験合格者全体の集合]
もしくは、単に
∀x∈ 入学式出席者全体の集合 xは受験合格者
∀x∈A φ(x)
⇔ ∀x (x∈A→φ(x))
これ同じ意味なんですよ