Definition:Statement Label

From ProofWiki
Jump to navigation Jump to search


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.

For such conventions to make sense, different statements must always be given different statement labels.

The citing of a statement label can be interpreted as an assertion that the statement represented by that symbol is true.

That is:



$P \text { is true}$

Also known as

Other names for this concept include:

  • abbreviatory letter
  • sentence letter.

Also see