CPSC 289 Sec 502: Quiz 2
January 30, 2007

Printed Name:________________________________________

"On my honor, as an Aggie, I have neither given nor received unauthorized aid on this academic work. In particular, I certify that I have not received or given any assistance that is contrary to the letter or the spirit of the collaboration guidelines for this assignment."


  1. (3 pts) For the expression below with nested quantifiers, write the negation of the expression. Be sure that all negation symbols immediately precede predicates.

  2. (2 pts) Name two ways to prove a conditional statement of the form p -> q.