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

Move the negation inside as far as it will go: ~(∃x∈S)(∀z∈T)( ∃y∈U) x ≥ sin z ⇒ y < x^2 + z^2

terenzreignz (terenzreignz):

You know how to bring a negation inside a quantifier?

terenzreignz (terenzreignz):

Keep three things in mind here: To bring a negation inside an existence quantifier, change it to a universal quantifier and then negate the inside. To bring a negation inside a universal quantifier, change it to an existence quantifier and then negate the inside. To negate a statement of the form p => q, it would become p ^ ~q (p and not q)

terenzreignz (terenzreignz):

So here goes... \[\sim(\exists x \in S)(\forall z \in T)(\exists y \in U)\ x \ge \sin z \rightarrow y < x^{2} + z^{2}\]First, bring the negation inside the first existence quantifier... \[(\forall x \in S)\sim(\forall z \in T)(\exists y \in U)\ x \ge \sin z \rightarrow y < x^{2} + z^{2}\]Next, bring the negation inside the universal quantifier... \[(\forall x \in S)(\exists z \in T)\sim(\exists y \in U)\ x \ge \sin z \rightarrow y < x^{2} + z^{2}\]Then, bring the negation inside the second existence quantifier... \[(\forall x \in S)(\exists z \in T)(\forall y \in U)\sim (x \ge \sin z \rightarrow y < x^{2} + z^{2})\] Note how the quantifier changed everytime the negation crossed it. Now it is down to negating something of the form p => q, which we know now to be p ^ ~q (Since p -> q is equivalent to ~p v q, and the negation of ~p v q is p ^ ~q) Therefore, it is down to... \[(\forall x \in S)(\exists z \in T)(\forall y \in U)x \ge \sin z\ AND \ y \ge x^{2} + z^{2}\] (Remember that the negation of less than is greater than OR equal to...) :D

OpenStudy (anonymous):

Thanks guys, I just didn't know whether I should keep going after bringing the negation inside the quantifiers :)

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!
Latest Questions
Burro: Vc anyone
1 hour ago 4 Replies 0 Medals
chatAI: Happy Easter!
7 hours ago 0 Replies 0 Medals
danielfootball123: HAPPY EASTER!!!!
14 seconds ago 21 Replies 0 Medals
Puck: for all you amazing people
7 hours ago 3 Replies 2 Medals
Breathless: update on drawing.
9 hours ago 12 Replies 5 Medals
ShadowKid3: what are examples of a class three lever?
2 days ago 3 Replies 2 Medals
alphaXtiger: Help pls
2 days ago 3 Replies 1 Medal
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!