How do I proof this?

• Jun 19th 2007, 01:12 PM
TheRekz
How do I proof this?
Show that the $\left( {\forall x} \right)$ P(x) V $\left( {\forall x} \right)$ Q(x) and $\left( {\forall x} \right)$ (P(x) v Q(x)) are not logically equivalent.

How do I proof this just using an example?? Thanks
• Jun 19th 2007, 01:47 PM
Plato
$\left( {\forall y} \right)\left[ {R(y)} \right]$ means everyone here is Russian.

$\left( {\forall z} \right)\left[ {E(z)} \right]$ means everyone here is English.

$\left( {\forall x} \right)\left[ {R(y) \vee E(x)} \right]$ means everyone here is Russian or English.