CSC240 Winter 2021 Midterm Assessment Question 1
YOUR NAME and STUDENT NUMBER
1. (8 marks) Consider the predicate
(∀x ∈ D.[R(x) IFF ∀y ∈ D.A(x, y)]) IMPLIES ∀y ∈ D.(R(y) IMPLIES A(x, y)).
(a) Give an interpretation with D = {1,2} that makes this predicate true. Justify your answer.
Solution:
(b) Give an interpretation with D = {1,2} that makes this predicate false. Justify your answer.
Solution:
1