Merriam-Webster's Collegiate® Dictionary, 11th Edition FUNCTIONAL functional calculus noun Date: 1933 predicate calculus