Logical negation

Logical negation (also known as not) is a logic operation. For a proposition $P$, its negation is written as $\mathrm{\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

Template:Stub