pomocy kjk: Sprawdzić prawdziwość równoważności: istnieje x takie, że dla każdego y φ(x,y) <=> dla każdego y istnieje x φ(x,y)

Jack: Niech x− to mąż, y − żona a φ − relacja bycia mężem (" x jest męzem y") Sprawdź czy zachodzi równoważność... (zacznij od prawej strony)