222 views
0 votes
0 votes
Show that $\forall x P(x) \vee \forall x Q(x)$ and  $\forall x \forall y (P(x) \vee 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
Pooja Khatri asked Mar 19, 2019
208 views
Determine the truth value of the statement $\exists x \forall y (x<=y^2)$ if the domain for the variables consists ofhe positive real numbers.the integers.the nonzero rea...
0 votes
0 votes
0 answers
4