I've got a problem solving the following question.

Given open statements P(x) and Q(y), show that:

∀x ∃y ( P(x) ∨ Q(y) ) <=> ∀x ( P(x) ) ∨ ∃y ( Q(y) )

Can anybody give me some advices?

Thanks for the help!

Printable View

- Oct 12th 2009, 10:10 AMGilvanildoUse of Quantifiers
I've got a problem solving the following question.

Given open statements P(x) and Q(y), show that:

∀x ∃y ( P(x) ∨ Q(y) ) <=> ∀x ( P(x) ) ∨ ∃y ( Q(y) )

Can anybody give me some advices?

Thanks for the help!