Dictionary.com
Thesaurus.com

functional calculus

American  

noun

  1. 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.


functional calculus British  

noun

  1. 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

Etymology

Origin of functional calculus

First recorded in 1930–35