language of formal logic Synonyms