Definition:Scheme of Abbreviation

From ProofWiki
Jump to navigation Jump to search


When translating from a series of sentences in natural language into a collection of propositional formulas in symbolic logic, it is necessary to replace each simple statement with a statement label.

As stated in the definition of statement label, it is imperative that each sentence be replaced with a different label.

A scheme of abbreviation is the list of simple statements, together with their associated statement labels, for reference and unambiguous key in order to translate any conclusion reached back into natural language.