## What is the negation of the statement

What is the negation of the statement "For each s in R, there exists an r in R such that if f(r) >0, then g(s) >0."

The answer is "There exists an s in R such that for each r in R, f(r) >0 and g(s) <0."

What is the general method to find the negation of any logical statement?

Thanks!!
 PhysOrg.com science news on PhysOrg.com >> City-life changes blackbird personalities, study shows>> Origins of 'The Hoff' crab revealed (w/ Video)>> Older males make better fathers: Mature male beetles work harder, care less about female infidelity

Mentor
Blog Entries: 1
 Originally posted by yxgao What is the general method to find the negation of any logical statement?
While I can't give you a general method, you may find it useful to review the concept of contradictory statements from Boolean logic:

All S is P is contradictory to Some S is not P

No S is P is contradictory to Some S is P

A statement and its contradictory cannot both be true (or both be false). Thus if "All S is P" is not true, then "Some S is not P" must be true. Of course, this only applies to statements that can be put in standard categorical form.
 Recognitions: Gold Member Science Advisor Staff Emeritus Basically, you just want to distribute the negation. Use the laws $$\neg \forall x: P(x) = \exists x: \neg P(x)$$ $$\neg \exists x: P(x) = \forall x: \neg P(x)$$ $$\neg(x \wedge y) = \neg x \vee \neg y$$ $$\neg(x \vee y) = \neg x \wedge \neg y$$ $$\neg(x \Rightarrow y) = x \wedge \neg y$$ $$\neg(\neg x) = x$$

 Similar discussions for: What is the negation of the statement Thread Forum Replies Set Theory, Logic, Probability, Statistics 9 Calculus & Beyond Homework 5 Set Theory, Logic, Probability, Statistics 2 Set Theory, Logic, Probability, Statistics 6 Set Theory, Logic, Probability, Statistics 3