Difference between revisions of "Logical negation"

MyWikiBiz, Author Your Legacy — Wednesday October 20, 2021
Jump to navigationJump to search
(copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
 
(+ {{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:

Logical Negation
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:

Variant Notations
Notation Vocalization
\(\bar{p}\) bar p
\(p'\!\) p prime,

p complement

\(!p\!\) bang p


See also

Logical operators

Related topics

Aficionados



<sharethis />