Translation from English to Predicate Logic I am studying Predicate Logic now.
Could you please help me how to translate a sentence into predicate logic?
How can I translate the following sentence into predicate logic?
"No student read exactly one book."
My translation is...
∃x(student(x)∧read(x, x1)∧book(x1)∧book(y)∧¬(x1=y))
I've already translated this but I am not sure about the part "exactly one" in the sentence..
Is this correct? If there is something wrong, could you please tell me what the mistakes are?
Thank you for your help.
I really appreciate it :>
 A: Your symbolization 

∃x(student(x)∧read(x, x1)∧book(x1)∧book(y)∧¬(x1=y))

has a few problems. First of all, there are no quantifiers for $x1$ and $y$. I assume you want those to be existentials, so let's add them:
∃x∃x1∃y(student(x)∧read(x, x1)∧book(x1)∧book(y)∧¬(x1=y))
OK, but that is still not right: this statement says that there is some student who has read two or more books (and thus not exactly one book), but the statement says that there is no student who has read exactly one book, which is the same as saying that it is true for all students that they have not read exactly one book. 
OK, so maybe we should change the existential into a universal? Let's see:
$\forall x∃x1∃y(student(x)∧read(x, x1)∧book(x1)∧book(y)∧¬(x1=y))$
No, that is still not right, because a student not reading exactly one book does not mean they have to read 2 or more books ... they could also read no books at all. So ... we should give every student the option of either reading no books, or two or more books:
$\forall x (student(x)\rightarrow (\neg \exists x1 (book(x)∧ read(x,x1)) \lor ∃x1∃y(read(x, x1)∧ book(x1)∧book(y)∧read(x,y)∧¬(x1=y)))$
(oh yeah, you also forgot to include the $read(x,y)$ statement)
OK, here is another way of doing this one.  The statement effectively denies that there is a student that reads exactly one book.
So, we can use as a basic setup:
$$\neg \exists x (Student(x) \land 'x-reads-exactly-one-book')$$
Now, how can we symbolize that $x$ reads exactly one book?  To do that, we can say that there is a book that $x$ reads, and that all the books that $x$ reads are that one book. So, '$x$ reads exactly one book' becomes:
$$\exists y (Book(y) \land Reads(x,y) \land \forall z ((Book(z) \land Reads(x,z)) \rightarrow z=y))$$
OK, so fill this in the larger statement, and we get:
$$\neg \exists x (Student(x) \land \exists y (Book(y) \land Reads(x,y) \land \forall z ((Book(z) \land Reads(x,z)) \rightarrow z=y)))$$
A: $\forall x \forall y \exists z ((S(x) \wedge B(y) \wedge R(x,y)) \rightarrow (B(z) \wedge R(x, z) \wedge y \neq z))$ 
Bring the quantifiers to the front. ("If any student has read any book, then something else is also a book read by that student".)
