Post a New Question


posted by .

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.

Answer This Question

First Name:
School Subject:

Related Questions

More Related Questions

Post a New Question