Difference between revisions of "Logical negation"
MyWikiBiz, Author Your Legacy — Thursday April 18, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (apply column template) |
Jon Awbrey (talk | contribs) (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: | + | {| 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: | + | |- 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: | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; width:40%" |
|+ '''Variant Notations''' | |+ '''Variant Notations''' | ||
| − | |- style="background: | + | |- 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:
| 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 |
