Category:Logical Negation

From ProofWiki
Jump to navigation Jump to search

This category contains results about the negation operator of propositional logic.
Definitions specific to this category can be found in Definitions/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$.