TEST1
TEST1
DURATION: 2 HOURS
DATE: 21/12/2018
TIME: 9:00-11:00 AM
Instructions to candidates:
x -2 0 4 5 8
y 4 5 -3 -1 3
(4marks)
d) Show that ∼ (𝑃 ∨ 𝑄) →∼ 𝑃 is a tautology. (6marks)
e) Consider four sets A,B,C and D such that
𝑨 ∩ 𝑩 ≠ ∅, 𝑨 ∩ 𝑪 ≠ ∅, 𝑨 ∩ 𝑫 = ∅, 𝑩 ∩ 𝑪 ≠ ∅, 𝑩 ∩ 𝑫 = ∅, 𝑪 ∩ 𝑫 = ∅,
𝒂𝒏𝒅 𝑨 ∩ 𝑩 ∩ 𝑪 = ∅
5
4 4
-6 -2
0
(5marks)
a) Which of the following are not well-formed formulas (wff)? Support your answers with
justifiable reasons (4marks)
i. ~𝐴
ii. ~~𝑨
iii. (𝐴 ∧ 𝐵) ⊃ 𝐶)
iv. ~((~𝑨 ∧ 𝑩) ⊃∼∼ 𝑪
v. 𝑨 → 𝑩 → (∧ 𝑩)
b) Let 𝐶𝑥 = “x is a university-like campus”
𝑆𝑥 = “x supports students”
Convert the following predicate logic statements into their equivalent English statements.
i. ∀𝑥[𝐶𝑥] ∨ ∀𝑥[𝑆𝑥] (2marks)
ii. ∀𝑥[𝐶𝑥] ∨ ∀𝑥[~𝐶𝑥) (2marks)
i. 𝐴−𝐵 (2marks)
ii. 𝐴−∅ (2marks)
b) Show that for any two sets of A and B
𝐴− 𝐴∩𝐵 =𝐴−𝐵 (6marks)
c) Four students John, Sam, Mary and Joy registered for three units as follows. John
registered for CSC 100 and CSC101, Sam registered for CSC 101, Joy registered for CSC
101 and CSC 102, and Mary registered for CSC 102. The fifth student Ken did not
register for any course. Identify the relations involved in this case and use a table to
present them (6marks)
d) Given that the set
𝕌 = 1,2,3,4,5,6,7,8,9 , 𝐴 = 1,2,3,4 , 𝑎𝑛𝑑 𝐵 = {3,4,5,6,7,8,9}
Perform the following operations.
i. 𝐴∪𝐵 (2marks)
∁∁
ii. 𝐵 (2marks)