Logical negation

From Wikiversity

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 also written appears below:



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


bar
tilde
prime
complement
bang


Syllabus[edit]

Focal nodes[edit]

Peer nodes[edit]

Logical operators[edit]

Related topics[edit]

Relational concepts[edit]

Information, Inquiry[edit]

Related articles[edit]

Document history[edit]

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.