2.2 Define each of the following terminologies as used in set theory:
Subset, Power set, and Direct sum of two sets.
(6)
2.3 State the two D'Morgan's Laws for sets. No proof required.
(4)
2.4 Given that A and Bare subsets of S, prove that A' u B' is a subset of (An B)'. (6)
Question 3 (14 marks)
3.1 Write the following compound statement in logic symbolic form: "If the rain falls and
the sun shines, then John will bring Mary along if she gets her new shoes". (Remember
to state your four variables in this case.)
(5)
r:
rain falls;
s:
sun shines;
j:
John brings Mary;
m: Mary gets new shoes
3.2 Copy and complete the following truth table: (Note that --, means negation)
(5)
A
B
C
T
F
T
T
T
F
F
T
T
F
F
F
T
F
F
CA--,B
(BvC) -,(Av B) -,(A AB AC)
3.3 Use a truth table to investigate whether the following statements are logically
equivalent or not:
Statement 1: "All the intelligent students passed"
Statement 2: "A student that did not pass is not intelligent"
(Hint: Let "student passed be p and let student is intelligent be q")
(4)
Question 4 (12 marks)
There are 100 positive whole numbers. Some of the numbers are even and the others odd.
Write a pseudocode that finds and prints the average of only the odd numbers.
(12)
Page2 of 3