[1] : WordNet (r) 2.0

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
see also:
mathematical logic formal logic 

[2] : The Free On-line Dictionary of Computing (27 SEP 03)

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
     
     
see also:
logic natural language 

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html