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

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