Definition, synonyms and related words
The result of replacing parts of an argument with letters, leaving only logic words such as "if" and "for all" unreplaced.