Пример

Χάιρε!

(∀x)(∃y)(P(x,y) ∧ Q(y,x))

☏ 4319