predicate calculus

(noun) functional calculus

symbolic logic (generic term)
mathematical logic (generic term)
formal logic (generic term)