Unformatted text preview: lentβ you must give an explanation. (a) β x ( Q ( x ) β§ P ( x )) and β xQ ( x ) β§ β xP ( x ) (b) β x ( Q ( x ) β¨ P ( x )) and β xQ ( x ) β¨ β xP ( x ) (c) β x ( Q ( x ) β P ( x )) and β xQ ( x ) β β xP ( x ) 6. 40 pts. Let L ( x, y ) be the predicate for β x likes to buy y β and let S ( y ) stand for β y is on saleβ. Formalize: (a) Everybody likes to buy something, but only if it is on sale. (b) There is something everybody likes to buy if it is on sale. (c) If everything is on sale then everybody likes to buy everything. (d) There is somebody who likes to buy everything if it is on sale. 7. 30 pts. Let N be the set of natural numbers and let n  m stand for that n divides m . Formalize: For every n and m there is some g such that g divides n and m, and if q divides n and m, then q divides g....
View
Full
Document
 Spring '11
 JeffWong
 Math, Linear Algebra, Algebra, Following, 5 pts, 40 pts, 50 pts, 30 pts

Click to edit the document details