Category:Definitions/Logical Negation

From ProofWiki
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$.