Negation (not)
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:
P |
Q | Not P |
T | T | F |
T | F | F |
F | T | T |
F | F | T |