Namespaces
Variants
Actions

General validity

From Encyclopedia of Mathematics
Revision as of 17:03, 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 property of a logical formula of being true for any interpretation of the non-logical symbols that it contains, that is, the predicate and propositional variables. Logical formulas with this property are called generally valid, identically true or tautologies. Every generally-valid formula expresses a logical law. Instead of the words "A is generally valid" one often writes " A" . The most important forms of logical formulas are propositional and predicate formulas. In the classical sense of logical operations (cf. Logical operation), the general validity of a propositional formula is verified by the construction of a truth table: A formula is generally valid if and only if it takes the value T ( "true" ) for any truth values of the propositional variables. General validity of a predicate formula means truth in any model (in logic). The set of generally-valid predicate formulas is undecidable, that is, there is no algorithm allowing one to decide whether an arbitrary predicate formula is generally valid or not. The Gödel completeness theorem implies that all generally-valid predicate formulas, and only those, are derivable in classical predicate calculus.

References

[1] S.C. Kleene, "Mathematical logic" , Wiley (1967)


Comments

The term "universally valid logical formulauniversally valid" is often used instead of "generally valid" .

How to Cite This Entry:
General validity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=General_validity&oldid=32108
This article was adapted from an original article by V.E. Plisko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article