Definition:Logical Not

Definition
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$.

Also known as
The negation of a statement is also referred to as the denial of that statement.

Treatments which consider logical connectives as functions may refer to this operator as the contradictory function.