# Difference between revisions of "Logical negation"

MyWikiBiz, Author Your Legacy — Thursday October 28, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (update) |
Jon Awbrey (talk | contribs) (→Peer nodes: update) |
||

Line 61: | Line 61: | ||

{{col-break}} | {{col-break}} | ||

* [http://mywikibiz.com/Logical_negation Logical Negation @ MyWikiBiz] | * [http://mywikibiz.com/Logical_negation Logical Negation @ MyWikiBiz] | ||

− | * [http:// | + | * [http://intersci.ss.uci.edu/wiki/index.php/Logical_negation Logical Negation @ InterSciWiki] |

− | * [http:// | + | * [http://wiki.oercommons.org/mediawiki/index.php/Logical_negation Logical Negation @ OER Commons] |

{{col-break}} | {{col-break}} | ||

− | |||

* [http://p2pfoundation.net/Logical_Negation Logical Negation @ P2P Foundation] | * [http://p2pfoundation.net/Logical_Negation Logical Negation @ P2P Foundation] | ||

− | * [http:// | + | * [http://ref.subwiki.org/wiki/Logical_negation Logical Negation @ Subject Wikis] |

+ | * [http://beta.wikiversity.org/wiki/Logical_negation Logical Negation @ Wikiversity Beta] | ||

{{col-end}} | {{col-end}} | ||

## Revision as of 02:32, 16 May 2012

☞ This page belongs to resource collections on Logic and Inquiry.

**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 \(\operatorname{NOT}~ p,\) also written \(\lnot p,\!\) appears below:

\(p\!\) | \(\lnot p\!\) |

\(\operatorname{F}\) | \(\operatorname{T}\) |

\(\operatorname{T}\) | \(\operatorname{F}\) |

The negation of a proposition \(p\!\) may be found notated in various ways in various contexts of application, often merely for typographical convenience. Among these variants are the following:

\(\text{Notation}\!\) | \(\text{Vocalization}\!\) |

\(\bar{p}\!\) | \(p\!\) bar |

\(\tilde{p}\!\) | \(p\!\) tilde |

\(p'\!\) | \(p\!\) prime \(p\!\) complement |

\(!p\!\) | bang \(p\!\) |

## Syllabus

### Focal nodes

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Peer nodes

- Logical Negation @ P2P Foundation
- Logical Negation @ Subject Wikis
- Logical Negation @ Wikiversity Beta

### Logical operators

### Related topics

- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic

### Relational concepts

### Information, Inquiry

### Related articles

## Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

<sharethis />