symbolic logic
Share:
Tweet n. A treatment of formal logic in which a system of symbols is used to represent quantities and relationships. Also called mathematical logic. |
The American Heritage® Dictionary of the English Language, Fifth Edition copyright ©2022 by HarperCollins Publishers. All rights reserved.