# Category:Definitions/Negation

This category contains definitions related to Negation.
Related results can be found in Category:Negation.

The logical not or negation operator is a unary connective whose action is to reverse the truth value of the statement on which it operates.

$\neg p$ is defined as: $p$ is not true, or It is not the case that $p$ is true.

Thus the statement $\neg p$ is called the negation of $p$.

$\neg p$ is voiced not $p$.

## Pages in category "Definitions/Negation"

The following 5 pages are in this category, out of 5 total.