# predicate logic of a domain of discourse

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.

• This is extremely unclear. What is the question? Note that "$m$ is not a possible mission" is a statement, not a question. What are you asked to do here? Sep 26 '19 at 4:36
• If 1 or 2 is correct for the statement? If I am doing this correct. Sep 26 '19 at 4:40
• Your 2. is correct, if you mean "not (Px and Mx)". Sep 26 '19 at 7:14

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