1) Decide which of the following are propositions (Y/N) and give the truth
value:
a) 127 is an even integer ___ b) All triangles have 4 sides or more___
2) Negate the following statements:
a) John is smart or Fred is not tall ...............................................................................................
b) Some animals are intelligent
.....................................................................................................
3) Is ((not P) implies Q) equivalent to ( P implies (
not Q)) ? ................
4) List all elements of set S, where S = { x | where x
belongs to N, -3 =< x < 5 }
S = {.........................................................................}
5) Fill in the blanks: U: union, {}: empty set, P: power set, -: set
difference, x: Cartesian product.
a) A U A = _____ b) A intersect {} = _____ c) A U {} = _____
d) P( P ({})) = _____ e) P({a,{b}}) = _____
f) {a,{b}} - {a,{b},c} = _____ g) {1,a} x {a} = _____
6) Given the proposition P(n) " If n3 (n cubed) is odd then n is odd
"
a) Prove P(n) by contraposition:
b) Prove P(n) contradiction:
7) Prove by induction: 12 + 22 + 32... +n2
= n(n+1)(2n+1)/6, for all n >= 1.
8) Given the English language alphabet. Is the set of all possible strings of letters (even the ones that infinitely long) countable?