Logical negation

Logical negation (also known as not) is a logic operation. For a proposition ${\displaystyle P}$, its negation is written as ${\displaystyle \neg P}$. It takes one input. It flips the value of the input as the output. If the input was true, it returns false; If the input was false, it returns true.

Related pages

• First order logic
• Propositional logic

References

1. ↑ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-09-02.
2. ↑ Weisstein, Eric W. "Negation". mathworld.wolfram.com. Retrieved 2020-09-02.
3. ↑ "Logic and Mathematical Statements - Worked Examples". www.math.toronto.edu. Retrieved 2020-09-02.

This short article can be made longer. You can help Wikipedia by adding to it.