Symbolic logic is a type of logic that uses mathematical and philosophical symbols to show quantities and relationships.
An example of symbolic logic is a philosophy professor using symbols to provide examples of a series of relationships during a class lesson.
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
A treatment of formal logic in which a system of symbols is used to represent quantities and relationships. Also called mathematical logic.
- (logic) Synonym for mathematical logic (obsolescent)