From Encyclopedia of Mathematics
Revision as of 17:24, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

<tbody> </tbody>
How to Cite This Entry:
Negation. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article