Definition:Metasymbol/Also known as
Jump to navigation
Jump to search
Metasymbol: Also known as
A metasymbol can also be referred to as:
Some sources also use the term propositional variable, but this has subtly different meaning on $\mathsf{Pr} \infty \mathsf{fWiki}$.
References
- ↑ As immortalized by Terry Pratchett in Men at Arms: the dog Gaspode says, "Clothing has never been what you might call a thingy of dog wossname." Then he adds: "Two metasyntactic variables there. Sorry."
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.2$: The Construction of an Axiom System
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $1$ Formation Rules