Let Dx = Dy = {1, 2, 3, 4, 5}. Define the predicate P(x, y) as

P(x, y) := (y ≥ x) or (x + y > 6).

Find the truth sets of the following predicates:

- P(x, y).
- ∃xP(x, y)
- ∀yP(x, y)

Let Dx = Dy = {1, 2, 3, 4, 5}. Define the predicate P(x, y) as

P(x, y) := (y ≥ x) or (x + y > 6).

Find the truth sets of the following predicates:

- P(x, y).
- ∃xP(x, y)
- ∀yP(x, y)