symbolic logic Hear it!

symbolic logic Definition

symbolic logic

noun

a modern type of formal logic using special symbols for propositions, quantifiers, and relationships among propositions and concerned with the elucidation of permissible operations upon such symbols