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.
Bạn đang xem 73. - SOLUTION MANUAL FOR DISCRETE MATHEMATICS 7TH EDITION BY JOHNSONBAUGH