Show that the two statements ¬∃x∀yP (x, y) and
∀x∃y¬P (x, y), where both quantifiers over the first vari-
able in P (x, y) have the same domain, and both quanti-
fiers over the second variable in P (x, y) have the same
domain, are logically equivalent.
Comments
Leave a comment