Symbolic logic Synonyms