# Category:Negation

This category contains results about the negation operator of propositional logic.

Definitions specific to this category can be found in Definitions/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**, or**It is not the case that $p$ is true**.

Thus the statement $\neg p$ is called the **negation** of $p$.

$\neg p$ is voiced **not $p$**.

## Subcategories

This category has the following 23 subcategories, out of 23 total.

### C

### D

### M

### N

### P

### R

### T

## Pages in category "Negation"

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

### C

### N

- Negation implies Negation of Conjunction
- Negation of Conditional implies Antecedent
- Negation of Conditional implies Negation of Consequent
- Non-Equivalence
- Non-Equivalence as Conjunction of Disjunction with Disjunction of Negations
- Non-Equivalence as Conjunction of Disjunction with Negation of Conjunction
- Non-Equivalence as Disjunction of Conjunctions
- Non-Equivalence as Disjunction of Negated Implications
- Non-Equivalence as Equivalence with Negation