Dictionary Home »
Dictionary Definitions » symbolic logic
symbolic logic
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
See symbolic logic in American Heritage Dictionary 4