Book Shelf Bingo:

6. Book Shelf Bingo (16 points) For this problem, let the domain of discourse be UW CSE faculty and the books on their office shelves. We will also define the following predicates: Let Equalur,y) be "x = y" - either the same faculty member or the same book. . Let Same(x, y) be "x and y are books with the same content" . Let OnShelf (2, y) be "book x is on the book shelf in y's office." Translate each of the following English statements into logic using only the quantifiers 3 and V as defined in class. (a) [4 Points) Two faculty members have books with the same content on their shelves. (b) [4 Points) No faculty member has two books with the same content on their shelf. (c) (4 Points] Book 2 is not the only book with its content. (d) (4 Points] Some faculty member has a book on their shelf that is the only one anywhere) with its content