Quantified logic: are these two statements equivalent?

69 Views Asked by At

The statement that I need to convert to quantified logic is the following: There is a student in your class who has sent everyone else in your class an email message.

$$M(x, y) = x \text{ sent } y \text{ an email}$$

The solution in the book is: $$\exists x \forall y ((x \neq y) \rightarrow M(x, y))$$

Is that equivalent to my solution: $$\exists x \forall y (M(x, y) \ \land \ x \neq y)$$

1

There are 1 best solutions below

3
On BEST ANSWER

No, your answer is incorrect. Saying $\forall y(M(x,y) \wedge x \ne y)$ means, in part, that for every $y$, we have $x \ne y.$ This isn't true, because $y$ could very well be $x$. What you need to say is just what the book says: if $y$ is not $x$, then $x$ sent $y$ an email.

The problem here is not so much with the quantifiers as with the logical connectives.