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.