Formal logic Synonyms