Докажите выполнимость формулы (∃x) (∃y) (P(x) ∧P(y))

Пусть P(x) - предикат "число х - четное " , определенный в области
М = Е ×Е, где Е={0,1,2, …,n, …} . Тогда формула (∃x) (∃y) (P(x) ∧P(y)) тождественно истинна в области М (поскольку в Е существуют как четные числа, для которых P(x)=1, так и нечетные, для которых P(y)=1) и, следовательно, выполнима.