predicate calculus

noun

, Logic.

1. functional calculus.

predicate calculus

noun

1. 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 Also calledfunctional calculus See also propositional calculus

Word History and Origins

Origin of predicate calculus¹

First recorded in 1945–50

Example Sentences

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