Namespaces
Variants
Actions

Negation

From Encyclopedia of Mathematics
Revision as of 17:24, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(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 , 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: http://encyclopediaofmath.org/index.php?title=Negation&oldid=18029
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article