Differences
This shows you the differences between two versions of the page.
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: |