posted by tammy on .
Formalize the following english statements as quantified WFF.
Let S(x) be the predicate "x is a student," B(x) the predicate "x is a book," and H(x,y) the predicate "x has y, " where the universe of discourse is the universe, that is the set of all objects. Use quantifiers to express each of the following statements.
a. Every student has a book.
b. Some student does not have any book.
c. Some student has all the books.
d. Not every student has a book.
e. There is a book which every student has.