Let F(x, y) be some propositional function and let D1 be the domain of x and D2 the domain of y.
a. If the statement ∀x∃yF(x, y) is false, does it follow that the statement ∃y∀xF(x, y) is false? Why or why not?
b. Let’s flip it around. How about if he statement ∃y∀xF(x, y) is false, does it follow that ∀x∃yF(x, y) is false? Why or why not?