predicate calculus

American

noun

Logic.

functional calculus.

predicate calculus British

noun

Also called: functional calculus. 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 See also propositional 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 predicate calculus

First recorded in 1945–50

Example Sentences

Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.

Rule- based, pattern-matching systems generalize predicate calculus; neural networking is devoted to mimicking the way minds work, in a synthetic neuron-plex array; fuzzy logic addresses the limitations of Boolean calculus and the nondeterminism of neural networks, and concentrates on modeling imprecision, ambiguity, and undecidability as these are embodied in new human practical experiences.

From Project Gutenberg

Definitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023