COS2661 ASSIGNMENT 02 2021
SEMESTER 1 AND 2
QUESTION 1
a) Suppose you know that (Cube(a) ᴧ Small(b)) ᴠ (Cube(c) ᴧ Small(c)).
Show that Small(b) ᴠ Small(c) follows
Proof:
Assume the disjunction:
(Cube(a) ᴧ Small(b)) ᴠ (Cube(c) ᴧ Small(c))
Then either:
(Cube(a) ᴧ Small(b))
SEMESTER 1 AND 2
QUESTION 1
a) Suppose you know that (Cube(a) ᴧ Small(b)) ᴠ (Cube(c) ᴧ Small(c)).
Show that Small(b) ᴠ Small(c) follows
Proof:
Assume the disjunction:
(Cube(a) ᴧ Small(b)) ᴠ (Cube(c) ᴧ Small(c))
Then either:
(Cube(a) ᴧ Small(b))