- 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.
- another name for predicate calculus
Functional Calculus (noun) Definition, Meaning & Examples
