Logical negation
operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false, and false when p is true; unary (single-argument) logical connective From Wikipedia, the free encyclopedia
Remove ads
Logical negation (also known as not) is a logic operation. For a proposition , its negation is written as .[1] 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.[2][3]
Remove ads
Related pages
References
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads