Difference between revisions of "Propositional variable"
From Encyclopedia of Mathematics
(Importing text file) |
|||
| Line 1: | Line 1: | ||
A symbol, in a [[Formal language|formal language]], used for denoting an arbitrary statement. | A symbol, in a [[Formal language|formal language]], used for denoting an arbitrary statement. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
====References==== | ====References==== | ||
| − | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, | + | <table> |
| + | <TR><TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. 144; 226</TD></TR> | ||
| + | <TR><TD valign="top">[a2]</TD> <TD valign="top"> R. Wójcicki, "Theory of logical calculi" , Kluwer (1988) pp. 12</TD></TR> | ||
| + | </table> | ||
Latest revision as of 13:48, 8 April 2023
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