1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What it means to negate the following statement?

  1. Jan 10, 2012 #1
    1. The problem statement, all variables and given/known data

    Suppose you have a collection of functions [itex]{f_1,f_2,\ldots,f_m}[/itex] and you make the following statement: [itex] f_k ≤ 0[/itex] for all k with strict inequality for at least some k.


    2. Relevant equations

    The negation of the above statement is [itex] \exists k [/itex] such that [itex] f_k>0 [\itex].


    3. The attempt at a solution

    Does the negation of the statement above impose any restriction on the remaining functions (other than [itex]f_k[/itex]? or I am free to assume anything about these other functions?
     
  2. jcsd
  3. Jan 10, 2012 #2

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    That's not the negation .

    What if [itex]f_k=0[/itex] for all k ?
     
  4. Jan 10, 2012 #3

    Curious3141

    User Avatar
    Homework Helper

    Think of this as an AND statement. Two propositions A and B.

    Proposition 1: [itex]f_k \leq 0 \forall k[/itex]

    AND

    Proposition 2: [itex]\exists k[/itex] such that [itex]f_k < 0[/itex]

    Now apply De Morgan's Law: [itex]\overline{AB} = \overline{A} + \overline{B}[/itex]

    So the result is the negation of proposition 1 OR the negation or proposition 2.

    NOT proposition 1: [itex]\exists k[/itex] such that [itex]f_k > 0[/itex]

    OR

    NOT proposition 2: [itex]f_k \geq 0 \forall k[/itex]

    EITHER of these statements is an equally valid negation of the original statement. Either of those conditions, if met, will violate one of the propositions in the original statement, invalidating it.

    Sorry for all the edits, but I think I finally have it right this time! :biggrin:
     
    Last edited: Jan 10, 2012
  5. Jan 11, 2012 #4
    Thanks a lot for your clarifying answer...this really helps a lot!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: What it means to negate the following statement?
  1. Negation of statement (Replies: 2)

Loading...