519 views
0 votes
0 votes
Show that ∀xP (x) ∨ ∀xQ(x) and ∀x∀y(P (x) ∨ Q(y)),
where all quantifiers have the same nonempty domain,
are logically equivalent. (The new variable y is used to
combine the quantifications correctly.)

Please log in or register to answer this question.

Related questions

0 votes
0 votes
0 answers
3