Необходимо доказать, что заданная формула является тождественно истинной. Нужно использовать для решения метод от противного.

Докажем методом от противного. Пусть xP(x)xP(x) (а это высказывание, т.к. переменная связана кванторами) ложь. ...