next up previous contents
Next: Inclusive or Up: Logical connectors Previous: Logical equivalence   Contents

Negation

Definition 2.3.1   The negation of a proposition $ p$ is the proposition $ \overline{p}$ which is true if, and only if, $ p$ is false.

This is described in the following table:
$ p$ $ \Bar{p}$
T F
F T
For example:

root 2002-06-10