Ask your own question, for FREE!
Mathematics 13 Online
OpenStudy (anonymous):

negate the statement below

OpenStudy (anonymous):

hu?

OpenStudy (anonymous):

\[(\forall y \in \mathbb{R}) [y>0 \implies (\exists x \in \mathbb{R} s.t. (y=e^x)]\]

zepdrix (zepdrix):

Recall that:\[\Large\rm P\implies Q \qquad\equiv\qquad \neg P \wedge Q\]

zepdrix (zepdrix):

So let's see....

zepdrix (zepdrix):

\[\Large\rm \forall y \in \mathbb{R}, \qquad y>0 \implies (\exists x \in \mathbb{R}:y=e^x)\]So we want to negate this.. ummm So we'll write it as:\[\Large\rm \forall y \in \mathbb{R}, \qquad y\le0 ~or~ (\exists x \in \mathbb{R}:y=e^x)\]It should be a little easier to negate from here, yes?

zepdrix (zepdrix):

I changed the interval for y, (changed it to NOT p)

zepdrix (zepdrix):

\[\Large\rm \exists y\in \mathbb R:\qquad y\gt0~and~(\forall x\in\mathbb R,\quad y\ne e^x)\]Something like that I think. Yah?

OpenStudy (anonymous):

i think so, thank you!

zepdrix (zepdrix):

np c:

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!