elementary logic Synonyms