A unary operator returning the opposite truth value of its operand.
Logical negation (NOT)
Related concepts
- Material implication
- Law of non-contradiction
- Law of excluded middle
- Axiom of empty set
- Exclusive disjunction (XOR)
- Sheffer stroke (NAND)
- Peirce arrow (NOR)
- Inverse of a conditional
- Contrapositive of a conditional
- De Morgan's laws
- Double-negation equivalence
- Implication-as-disjunction equivalence
- Modus tollens
- Disjunctive syllogism
- Resolution
- Quantifier-negation rules (De Morgan for quantifiers)
- Denying the antecedent (fallacy)
- Boolean algebra