noun
: a branch of symbolic logic that utilizes quantifiers in order to deal with propositional functions in addition to the unanalyzed propositions of propositional calculus — called also predicate calculus ; see higher functional calculus , lower functional calculus