The negation of a logical proposition p, !p, is a proposition that is the logical opposite of p. That is, if p is true, !p is false, and if p is false, !p is true. Negation takes precedence over other logical operations. Other common symbols for the negation operator include ¬, − and ˜.