(∀x∈A)P(x) を x∈A→P(x)
(∃x∈A)P(x) を (x∈A)∧P(x)
なら分かるがな