let Dx and Dy denote the domains of x and y respectively .Consider the following quantified statement

∀x ∃y [x + y = 17].

Determine the truth value of the quantified predicate in different domains.

- Dx = Dy = the set of integers.
- Dx = Dy = the set of positive integers.
- Dx = the set of integers and Dy = the set of positive integers.
- Dx = the set of positive integers and Dy = the set of integers.