Namespaces
Variants
Actions

Propositional form

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 linguistic expression containing variables, in place of which one may substitute propositions, thereby obtaining new propositions. In formalized languages a propositional form is a formula containing free occurrences of propositional variables taking values in the set of truth values (cf. Truth value).

Sometimes a propositional form is an expression, constructed in analogy with a propositional formula, in which symbols of a meta-language are used instead of propositional variables, and denoting arbitrary formulas of the propositional calculus.

References

[1] E. Mendelson, "Introduction to mathematical logic" , v. Nostrand (1964)
How to Cite This Entry:
Propositional form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Propositional_form&oldid=54103
This article was adapted from an original article by V.N. Grishin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article