# Category:Negation

This category contains results about the negation operator of propositional logic.
Definitions specific to this category can be found in Definitions/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
It is not the case that $p$ is true
It is false that $p$
$p$ is false.

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

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

## Subcategories

This category has the following 24 subcategories, out of 24 total.

## Pages in category "Negation"

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