predicate calculus

(noun) functional calculus

< predicate | predication >