Namespaces
Variants
Actions

Difference between revisions of "Propositional variable"

From Encyclopedia of Mathematics
Jump to: navigation, search
(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.
 
 
 
====Comments====
 
 
  
 
====References====
 
====References====
<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>
+
<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=53655
This article was adapted from an original article by S.K. Sobolev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article