predicate calculus noun
branch of symbolic logic: the branch of symbolic logic that uses symbols to explore relationships between and within propositions
Microsoft® Encarta® 2009. © 1993-2008 Microsoft Corporation. All rights reserved.
Linkback:
https://tubagbohol.mikeligalig.com/index.php?topic=72420.0