the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals
Also called: functional calculus. See also propositional calculus
functional calculus in American English
noun
the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers
Also called: predicate calculus, predicate logic
Word origin
[1930–35]This word is first recorded in the period 1930–35. Other words that entered Englishat around the same time include: DNA, boondoggle, cloverleaf, logical positivism, old school tie