What is Logical negation?
'''Logical negation''' (also known as '''not''') is a [[logic]] operation. For a proposition <math>P</math>, its negation is written as <math>
eg P</math>.<ref>{{Cite web|date=2020-04-06|title=Comprehensive List of Logic Symbols|url=https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/|access-date=2020-09-02|website=Math Vault|language=en-US}}</ref> 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.<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Negation|url=https://mathworld.wolfram.com/Negation.html|access-date=2020-09-02|website=mathworld.wolfram.com|language=en}}</ref><ref>{{Cite web|title=Logic and Mathematical Statements - Worked Examples|url=https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html|access-date=2020-09-02|website=www.math.toronto.edu}}</ref> == Related pages == * [[First order logic]] * [[Propositional logic]] == References == <references /> {{stub}} [[Category:Logic]]