predicate logic of a domain of discourse

Question

If Px = "x is possile" Mx = "x is a mission"

STATEMENT: m is not a possible mission.

I would assume 2 ways

1. For all of x. (Not Px and not Mx)
2. For all of x. (Not Px) and Mx (because it can be a mission but not possible)

Is this right? Thanks.

Answer 1

$(Mm \wedge \neg Pm) \vee \neg Mm$
Equivalently
$Mm \rightarrow \neg Pm$