# 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] (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: |