Definition:Statement Label

Context: propositional logic.

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.

Different statements must always be given different labels.