# Category:Definitions/Logical Negation

Jump to navigation
Jump to search

This category contains definitions related to the negation operator of propositional logic.

Related results can be found in Category:Logical 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$**.

## Pages in category "Definitions/Logical Negation"

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