• Support PF! Buy your school textbooks, materials and every day products Here!

Negation Of Propositions

  • Thread starter Bashyboy
  • Start date
  • #1
1,421
5
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:

Answers and Replies

  • #2
Bacle2
Science Advisor
1,089
10
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.
 
  • #3
1,421
5
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?
 
  • #4
Bacle2
Science Advisor
1,089
10
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?
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
41,770
911
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.
 
  • #6
Bacle2
Science Advisor
1,089
10
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.
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 .
 

Related Threads for: Negation Of Propositions

Replies
8
Views
954
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
771
  • Last Post
Replies
9
Views
6K
  • Last Post
Replies
2
Views
411
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
3K
Top