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 AlterahThis 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
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 bmp05First, let's establish that, given that has precedence over :means: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?
Grandad
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."
Hello bmp05 is an example of a two-place predicate, since it takes two parameter values, and . But it simply has a single Boolean value, True or False, like any other predicate, once you supply it with the correct number of parameters.
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:
Grandad