LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav07_quiz_answers [2007/03/18 17:54]
vkuncak
sav07_quiz_answers [2007/03/20 20:57]
vkuncak
Line 22: Line 22:
       2) for all x, Q(x)."       2) for all x, Q(x)."
  
-  * **Answer**: Invalid.+  * **Answer**: Invalid.  Take as P,Q as predicates on integers, with P(x) meaning "x is even" and Q(x) meaning "x is odd".
  
   * Let x,y,z be integer variables that satisfy both of these two conditions:   * Let x,y,z be integer variables that satisfy both of these two conditions: