исчисление предикатов
noun the branch of symbolic logic that uses symbols for quantifiers and for arguments and predicates of propositions as well as for unanalyzed propositions and logical connectives — called also functional calculus — compare propositional calculus