THE PROPOSITION CAN BE TRUE

78. 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.