THE PROPOSITION MUST BE TRUE

73. The proposition must be true. Since ∃x∀yP (x, y) is true, there is some value for x for which

∀yP (x, y) is true. Choosing any value for y whatsoever makes P (x, y) true. Therefore

∃x∃yP (x, y) is true.