symbolic logic

 

noun

[mass noun]
  • the use of symbols to denote propositions, terms, and relations in order to assist reasoning.