If p is a proposition, then the statement “It is not the case that p”
is another proposition, called the negation of p.
The negation of p, denoted by ?p and read “not p”, is true when
p is false, and is false when p is true.
What is the negation of “Today is Wednesday”?
The truth table for negation: