Definition of: symbolic logic

A development of formal logic in which the ambiguity of verbal propositions and of operations upon them is reduced to a minimum by the rigorous use of symbols each of which has only one referent within the given context. Also called mathematical logic.