functional calculus
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.
Origin of functional calculus
1First recorded in 1930–35
- Also called predicate calculus, predicate logic.
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2024
British Dictionary definitions for functional calculus
functional calculus
noun
another name for predicate calculus
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
Browse