My guess is that you need something like:
"There exists at least one mystery book that is better than all spy and non-fiction books."
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!
Hello AlterahSome 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:
PS See my amended version in posting #7
Hi Grandad, this is fascinating- can you give us a walk-through of what this means?
So, if M(x) and S(y) then B(x, y) is the same as M(x) and, if S(y) then B(x, y)? (without the quantors)
And what I wrote above isn't a statement it's an intensional representation of the set B(x, y)?
Hello bmp05means:Then I think you're asking whether:is logically equivalent to:If so, the answer is: no. A truth table will show you immediately that the two are not equivalent.
If you're asking what the expression in my first post means, then it's this:There's an such that for all and , ( is a mystery) and (whenever is a spy novel is better than ) and (whenever is a nonfiction book is better than ).I think that means the same as "Some mysteries are better than all spy novels and all nonfiction", doesn't it?
Thanks Grandad, I guess, what I was wondering was how B(x, y) effects the proposition?
So does B(x, y) return True for 'x' and False for 'y'? I can't put my finger on it, but it seems strange that you can have a proposition, like ? S(n) implies there is 'something' better than it!
Would you say this as "something (x) is better than Spy novels."
Another example of a two-place predicate might be:meaning loves .So, for example, if Grandad and Curry, then has the value True. But if = Grandad and = Pop Music, then has the value False. (Sad, aren't I?)
Incidentally, I have realised that we don't need the in my expression. It works with:which can be written in English as:
There's at least one book, , such that whenever we choose another book, , is a mystery, and if a spy novel then is better than , and if is a nonfiction book then is better than .In other words:
There's at least one book, , such that whenever we choose another book, , is a mystery, and if a spy novel or a nonfiction book then is better than .which can be symbolised more simply as: