^{}

# Negation (not)

_{ Jan 01 . 1970 }

Any proposition **P** can be converted into its negation with a negation operator, producing the new, complex, proposition:

**Not P**

The proposition **Not P** is true if and only if **P** is false. It is false only if **P** is true. The truth table for **Not P** is as follows: