Namespaces
Variants
Actions

Propositional variable

From Encyclopedia of Mathematics
Revision as of 13:48, 8 April 2023 by Chapoton (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A symbol, in a formal language, used for denoting an arbitrary statement.

References

[a1] S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 144; 226
[a2] R. Wójcicki, "Theory of logical calculi" , Kluwer (1988) pp. 12
How to Cite This Entry:
Propositional variable. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Propositional_variable&oldid=17009
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article