Difference between revisions of "Logical negation"
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (+ {{aficionados}} <sharethis /> + categories) |
Jon Awbrey (talk | contribs) (apply column template) |
||
| Line 35: | Line 35: | ||
==See also== | ==See also== | ||
| + | |||
===Logical operators=== | ===Logical operators=== | ||
| − | { | + | |
| − | + | {{col-begin}} | |
| + | {{col-break}} | ||
* [[Exclusive disjunction]] | * [[Exclusive disjunction]] | ||
* [[Logical conjunction]] | * [[Logical conjunction]] | ||
* [[Logical disjunction]] | * [[Logical disjunction]] | ||
* [[Logical equality]] | * [[Logical equality]] | ||
| − | + | {{col-break}} | |
* [[Logical implication]] | * [[Logical implication]] | ||
* [[Logical NAND]] | * [[Logical NAND]] | ||
* [[Logical NNOR]] | * [[Logical NNOR]] | ||
* [[Logical negation|Negation]] | * [[Logical negation|Negation]] | ||
| − | + | {{col-end}} | |
| + | |||
===Related topics=== | ===Related topics=== | ||
| − | { | + | |
| − | + | {{col-begin}} | |
| + | {{col-break}} | ||
* [[Ampheck]] | * [[Ampheck]] | ||
* [[Boolean algebra]] | * [[Boolean algebra]] | ||
* [[Boolean domain]] | * [[Boolean domain]] | ||
* [[Boolean function]] | * [[Boolean function]] | ||
| − | + | {{col-break}} | |
* [[Boolean logic]] | * [[Boolean logic]] | ||
* [[Laws of Form]] | * [[Laws of Form]] | ||
* [[Logic gate]] | * [[Logic gate]] | ||
* [[Logical graph]] | * [[Logical graph]] | ||
| − | + | {{col-break}} | |
* [[Peirce's law]] | * [[Peirce's law]] | ||
* [[Propositional calculus]] | * [[Propositional calculus]] | ||
* [[Sole sufficient operator]] | * [[Sole sufficient operator]] | ||
* [[Zeroth order logic]] | * [[Zeroth order logic]] | ||
| − | + | {{col-end}} | |
| − | |||
| − | {{ | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
| Line 78: | Line 80: | ||
[[Category:Philosophy]] | [[Category:Philosophy]] | ||
[[Category:Semiotics]] | [[Category:Semiotics]] | ||
| + | |||
| + | <sharethis /> | ||
Revision as of 14:26, 25 May 2009
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 |
