Definition:Statement Label
From ProofWiki
Definition
A statement label is a symbol which is assigned to a particular statement, so that it can be identified without the need to write it out in full.
There are various names for this concept, for example:
- abbreviatory letter;
- sentence letter.
Different statements must always be given different labels.
Also see
- Compare, but do not confuse, with statement variables.
Sources
- Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning (1964): $\text{I}: \S 1$
- Alan G. Hamilton: Logic for Mathematicians (1978): $\S 1.1$
- D.J. O'Connor and Betty Powell: Elementary Logic (1980): $\S 1.2$
