Докажите что формула не общезначима (∃x)P(x) → (∀x)Px

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