predicate calculus


Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.

predicate calculus

n.
The branch of symbolic logic that deals with relations between propositions and with their internal structure, especially the relation between subject and predicate.

predicate calculus

n
(Logic) 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 called: functional calculus See also propositional calculus

func′tional cal′culus


n.
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. Also called predicate calculus.
[1930–35]
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
formal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
quantification - a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
Translations
predikaattilogiikka
predikatni račun
References in periodicals archive ?
S], as well as CG, can be reformulated using the predicate calculus syntax, they support a number of special purpose inference mechanisms such as matching and restricting that are normally part of the predicate calculus.
Now Kapstein believes the difficulty here can be resolved by using the predicate calculus to bring out the logical structure of the two pairs of statements (p.
There is no consensus, however, as to which part should be eliminated from the predicate calculus.