Namespaces
Variants
Actions

Contradiction, law of

From Encyclopedia of Mathematics
Revision as of 17:27, 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 logical law stating that no proposition can be true simultaneously with its negation. In the language of propositional calculus the law of contradiction is expressed by

This formula is derivable in classical as well as in intuitionistic constructive propositional calculus (cf. also Propositional calculus).

How to Cite This Entry:
Contradiction, law of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Contradiction,_law_of&oldid=31392
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article