Definition, synonyms and related words
A word or phrase which has an invariant logical meaning and which is useful for forming argument forms.