Problem on DNF and CNF


#1

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.

  1. Dx = Dy = the set of integers.
  2. Dx = Dy = the set of positive integers.
  3. Dx = the set of integers and Dy = the set of positive integers.
  4. Dx = the set of positive integers and Dy = the set of integers.