Prove that the following formula is valid or provide a counter example $[$x P $($x $)]->$x$$P $($x $)$ Using first order logic