I am doing a proof for my logic class.
The goal is to prove:$$\exists x(P(x)\implies\forall yP(y))$$ from no premises.
I have come to:$$\forall y(P(x)\implies P(x))$$ in my main proof, but I don't know if i have gotten my goal formula in disguise....
What are the rules for moving quantifiers and is my goal sentence implicit in my proven sentence?
