Meaning of PREDICATE CALCULUS in English

transcription, транскрипция: [ noun ]

Date: 1950

: 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

Merriam-Webster's Collegiate English vocabulary.      Энциклопедический словарь английского языка Merriam Webster.