Hello Alterah Originally Posted by

**Alterah** Hello, I am wanting assistance/confirmation that I am understanding how to the do the following correctly. I need to turn a statement into symbolic notation. I have:

S(x): "x is a spy novel"

M(x): "x is a mystery"

N(x): "x is a nonfiction book"

B(x,y): "x is better than y"

Statement: Some mysteries are better than all spy novels and all nonfiction books.

My attempt:∃x∀y[M(x) ^ N(y) -> B(x,y)] ^ ∃x∀z[M(x) ^ N(z) -> B(x,z)]

I realize this might be more bulky than necessary, but it makes sense to me. Did I do this correctly? Thanks!

This answer is close (although I think you intended your first N to be an S), but the problem is that it means:Some mysteries are better than all spy novels, and some mysteries are better than all nonfiction books.

and these might not be the same mysteries. Whereas the original statement means that the same mysteries are better than both of the other types of book.

So you just need to combine these into a single expression, something like:

Grandad

PS See my amended version in posting #7