Namespaces
Variants
Actions

Tautology

From Encyclopedia of Mathematics
Revision as of 17:15, 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

A formula of the language of propositional calculus taking the truth value "true" independently of the truth values "true" or "false" taken by its propositional variables. Examples: , , .

In general one can check whether a given propositional formula is a tautology by simply examining the finite set of all combinations of values of its propositional variables.


Comments

References

[a1] Yu.I. Manin, "A course in mathematical logic" , Springer (1977) pp. 31, 54 (Translated from Russian)
How to Cite This Entry:
Tautology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Tautology&oldid=16024
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article