symbolic logic

Definitions

Computing

  • noun the study of reasoning and thought (formal logic)

Electronics

  • The use of a system of symbols to represent quantities, operations, and relationships. An example is Boolean logic. Also called mathematical logic.
http://www.dictionarycentral.com/definition/symbolic-logic.html