Difference between revisions of "Logical negation"

MyWikiBiz, Author Your Legacy — Friday September 24, 2021
Jump to navigationJump to search
(apply column template)
(table colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray))
Line 3: Line 3:
 
The [[truth table]] of '''NOT p''' (also written as '''~p''' or '''¬p''') is as follows:
 
The [[truth table]] of '''NOT p''' (also written as '''~p''' or '''¬p''') is as follows:
  
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:40%"
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:40%"
 
|+ '''Logical Negation'''
 
|+ '''Logical Negation'''
|- style="background:paleturquoise"
+
|- style="background:#e6e6ff"
 
! style="width:20%" | p
 
! style="width:20%" | p
 
! style="width:20%" | ¬p
 
! style="width:20%" | ¬p
Line 17: Line 17:
 
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:
 
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:
  
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; width:40%"
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; width:40%"
 
|+ '''Variant Notations'''
 
|+ '''Variant Notations'''
|- style="background:paleturquoise"
+
|- style="background:#e6e6ff"
 
! style="text-align:center" | Notation
 
! style="text-align:center" | Notation
 
! Vocalization
 
! Vocalization

Revision as of 21:08, 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:

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

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end <sharethis />