Difference between revisions of "Logical negation"
MyWikiBiz, Author Your Legacy — Wednesday October 20, 2021
Jump to navigationJump to searchJon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author) |
Jon Awbrey (talk | contribs) (+ {{aficionados}} <sharethis /> + categories) |
||
Line 66: | Line 66: | ||
* [[Zeroth order logic]] | * [[Zeroth order logic]] | ||
|} | |} | ||
+ | |||
+ | {{aficionados}}<sharethis /> | ||
+ | |||
+ | [[Category:Computer Science]] | ||
+ | [[Category:Formal Languages]] | ||
+ | [[Category:Formal Sciences]] | ||
+ | [[Category:Formal Systems]] | ||
+ | [[Category:Linguistics]] | ||
+ | [[Category:Logic]] | ||
+ | [[Category:Mathematics]] | ||
+ | [[Category:Philosophy]] | ||
+ | [[Category:Semiotics]] |
Revision as of 14:42, 21 May 2007
Logical negation is an operation on one logical value, typically the value of a proposition, that produces a value of true when its operand is false and a value of false when its operand is true.
The truth table of NOT p (also written as ~p or ¬p) is as follows:
p | ¬p |
---|---|
F | T |
T | F |
The logical negation of a proposition p is notated in different ways in various contexts of discussion and fields of application. Among these variants are the following:
Notation | Vocalization |
---|---|
\(\bar{p}\) | bar p |
\(p'\!\) | p prime, p complement |
\(!p\!\) | bang p |
See also
Logical operators
Related topics
Aficionados
- See Talk:Logical negation for discussions/comments regarding this article.
- See Logical negation/Aficionados for those who have listed Logical negation as an interest.
- See Talk:Logical negation/Aficionados for discussions regarding this interest.
<sharethis />