# maths

posted by
**tammy**
.

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.