# Difference between revisions of "Logical negation"

MyWikiBiz, Author Your Legacy — Friday September 24, 2021

Jump to navigationJump to searchJon Awbrey (talk | contribs) (unlink) |
Jon Awbrey (talk | contribs) |
||

Line 176: | Line 176: | ||

* [http://en.wikipedia.org/w/index.php?title=Logical_negation&oldid=77111608 Logical Negation], [http://en.wikipedia.org/ Wikipedia] | * [http://en.wikipedia.org/w/index.php?title=Logical_negation&oldid=77111608 Logical Negation], [http://en.wikipedia.org/ Wikipedia] | ||

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

− | |||

− | |||

[[Category:Inquiry]] | [[Category:Inquiry]] |

## Revision as of 15:28, 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.