kwantyfikatory dwie różne liczby licealista: Wie ktoś jak przy pomocy kwantyfikatorów zapisywać zdania typu "dla dwóch różnych liczb zbioru A zachodzi a(x, y)"?

licealista: podbijam

PW: ∀ ((x≠y) ⇒ a(x,y)) ^x,y∊A

licealista: dzieki