Source : WordNet®

symbolic logic
     n : any logical system that abstracts the form of statements
         away from their content in order to establish abstract
         criteria of consistency and validity [syn: {mathematical
         logic}, {formal logic}]

Source : Free On-Line Dictionary of Computing

symbolic logic
     
         The discipline that treats formal {logic} by means of
        a formalised artificial language or symbolic calculus, whose
        purpose is to avoid the ambiguities and logical inadequacies
        of {natural language}.
     
        (1995-12-24)