Namespaces
Variants
Actions

Propositional variable

From Encyclopedia of Mathematics
Revision as of 17:19, 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 symbol, in a formal language, used for denoting an arbitrary statement.


Comments

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
Retrieved from "https://encyclopediaofmath.org/index.php?title=Propositional_variable&oldid=17009"