Namespaces
Variants
Actions

Negation

From Encyclopedia of Mathematics
Revision as of 07:34, 12 August 2014 by Ivan (talk | contribs) (TeX, table)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

The logical operation as a result of which, for a given statement $A$, the statement "not A" is obtained. In formal languages, the statement obtained as result of the negation of a statement $A$ is denoted by $\neg A$, $\sim A$, $\overline A$, $-A$, $A'$ (these are read: "not A", "it is not true that A", "A does not hold", etc.). Semantically, the negation of a statement $A$ signifies that the assumption $A$ leads to a contradiction (cf. Contradiction (inconsistency)). In classical two-valued logic the following truth table applies for the operation of negation:

$A$ $\neg A$
$T$ $F$
$F$ $T$
How to Cite This Entry:
Negation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Negation&oldid=32853
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article