Function: 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