# 3. Find a counter-example to these universally quanti?ed statements, where the domain for all…

3. Find a counter-example to these universally quanti?ed statements, where the domain for all…

3. Find a counter-example to these universally quanti?ed statements, where the domain for all variables consists of all integers.
1
a) ?x?y(y2 = x) b) ?x?y(xy = x)
c) ?x?y(x = 1/y) d) ?x?y(x3 6= y3)
Proofs
4. Prove that the additive inverse, or negative, of an even number is also an even number. (hint: you may use a direct proof)
5. Prove that min(a,min(b,c)) = min(min(a,b),c) whenever a,b, and c are real numbers. (hint: you may use a direct proof by cases)
6. Prove that if x and y are real numbers, then max(x,y) + min(x,y) = x + y. (hint: you may use a direct proof by cases)
7. Prove that for any real number r, if r2 is irrational, then r is irrational. (hint: you may use an indirect proof by contraposition)
8. Prove that the di?erence of any rational number and any irrational number is irrational. (hint: you may use an indirect proof by contradiction) 9. Bonus Question. Prove that v3 is irrational. (hint: one way to prove this statement is to use cases inside a proof by contradiction).

3. Find a counter-example to these universally quanti?ed statements, where the domain for all…