Namespaces
Variants
Actions

Propositional form

From Encyclopedia of Mathematics
Revision as of 14:34, 8 October 2023 by Chapoton (talk | contribs) (zbl link)
(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

  • E. Mendelson, "Introduction to mathematical logic", v. Nostrand (1964) Zbl 0192.01901
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