Парни помогите срочно Мат.Логика

3.P(x) и Q(x) одноместные предикаты над множеством M:

∃x[P(x) →(˥P(x) ˅ ˥(˥Q(x) → P(x)))] - принимает значение истина, тогда ∀xP(x) ложно.