THE PROPOSITION CAN BE TRUE

85. The proposition can be true. Let P (x, y) be the statement x ≤ y and let the domain of discourse

be Z × Z . Then ∃x∀yP (x, y) is false, but ∃x∃yP (x, y) is true.