symbolic logic noun1 •A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols. formssymbolic logics