Propositional variable
From Encyclopedia of Mathematics
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
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