Origin: Latin prefix pre-
Predicate calculus has 2 different meanings across 1 category:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.