LET P (X, Y) BE THE STATEMENT X > Y AND LET THE DOMAIN OF DISCOURSE BE Z+× Z+

SOLUTION MANUAL FOR DISCRETE MATHEMATICS 7TH EDITION BY JOHNSONBAUGH

Nội dung
Đáp án tham khảo

90. Not equivalent. 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.