Hei,
jeg har et lite problem med å forstå forskjellen mellom kvantorene ∀ og ∃.

Har sett at
∀xP(x) [symbol:identisk] P(1)∧P(2)∧P(3)∧....P(n)
og at
∃xP(x) [symbol:identisk] P(1)∨P(2)∨P(3)∨....P(n)

Blir det slik at:
∀x∀y(x^5 = y^5 ⇒ x = y)
er usann fordi x og y kan være to forskjellige tall, og ...