predicate calculus
Share:
Tweet n. The branch of symbolic logic that deals with relations between propositions and with their internal structure, especially the relation between subject and predicate. |
The American Heritage® Dictionary of the English Language, Fifth Edition copyright ©2022 by HarperCollins Publishers. All rights reserved.