THE PROPOSITION CAN BE FALSE

76. The proposition can be false. Let P(x, y) be the statement x > y and let the domain of discourse

be Z

+

× Z

+

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