Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav07_quiz_answers [2007/03/18 17:54] vkuncak |
sav07_quiz_answers [2007/03/20 20:57] (current) vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | These are answers to selected {{intro-quiz.txt}} questions. | ||
+ | |||
* Is the following statement valid when x is a real number and f is a function from reals to reals, and why: | * Is the following statement valid when x is a real number and f is a function from reals to reals, and why: | ||
Line 20: | 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: |