I think you are mistaken: is valid. Maybe you want to prove that is not valid, i.e. that Q is not a consequence of P?

If so I would suggest coming up with a countermodel, i.e. a model in which P is true but Q is not (take, for example, the natural numbers as domain and ).