Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav07_quiz_answers [2007/03/18 17:54]
vkuncak
sav07_quiz_answers [2007/03/20 20:57] (current)
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:
 
sav07_quiz_answers.txt · Last modified: 2007/03/20 20:57 by vkuncak