1. Limited time only! Sign up for a free 30min personal 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!

Negation Of Propositions

  1. Sep 2, 2012 #1
    The proposition that I am to negate is, "The summer in Maine is hot and sunny," so I performed the negation and wrote, "The summer in Maine is not hot and sunny." This is incorrect, and the answer is, "The summer in Maine is not hot or it is not sunny." Why did the author change the logical connective from the conjunction (and) to the disjunction (or)?
     
    Last edited: Sep 2, 2012
  2. jcsd
  3. Sep 2, 2012 #2

    Bacle2

    User Avatar
    Science Advisor

    The formal negation of (A and B) is NotA or NotB.

    One way of seeing it is that a case of NotA or NotB is a counterexample to "A and B".

    Maybe it would be better to see it as : Not ( Hot and Sunny) . If it is not both (hot and sunny), then it is either

    not hot or not sunny.
     
  4. Sep 3, 2012 #3
    Okay, I see: [itex]a \wedge b[/itex] has the opposite truth values as [itex]\neg a \vee \neg b[/itex]? Would the way I write it be incorrect? Or should I write the "formal" way as my answer?
     
  5. Sep 4, 2012 #4

    Bacle2

    User Avatar
    Science Advisor

    Yes, notice a/\b is true exactly one both a,b are true, and this is the only case

    when ~a\/~b is false. IOW, (A/\B) & (~A\/~B) is a contradiction

    You can even do a short derivation. What do you mean by the way you write is

    incorrect?
     
  6. Sep 4, 2012 #5

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    What you wrote, "the summer in Maine is not hot and sunny" is, at best, ambiguous. It could be interpreted as "the summer in Maine is not hot but it is sunny" which is NOT the negation of the original statement.
     
  7. Sep 4, 2012 #6

    Bacle2

    User Avatar
    Science Advisor

    Yes, of course, but that is almost a necessary tradeoff between a formal language ( of logic)

    and a non-formal one like everyday English: accuracy in exchange for flexibility .
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Negation Of Propositions
  1. Propositional Logic (Replies: 9)

  2. Compound Propositions (Replies: 2)

Loading...