predicate calculus

(redirected from Predicate logic)
Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.
Related to Predicate logic: propositional logic

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 ?
A super tautology is self-verificative, as it injects logic - including the tautological propositional level of predicate logic and the supertautology itself - into its own quanta as accepting and generative syntax, which are supported and constrained by it.
I personally prefer Aristotelian Logic to modern Predicate Logic, for I think that Aristotle's approach is more intuitive than that of PL.
What's more, if Bolzano's views are expanded to include minimal notational devices, his theory delivers a language whose expressive power is at least as significant as that of first order predicate logic, including relational statements involving multiple quantifiers.
I call the problem underlying these questions the problem of a criterion for, a self-justification of and a self-reconstruction of modal predicate logic S5.
predicate logic, MPA] are not fatal by any means--it can, with appropriate tinkering, code the same set of distinctions.
These mathematical techniques are typically based on discrete mathematics such as predicate logic, set theory, relations, functions, and graph theory.
PYTHIA-II ensures that all performance evaluations are made consistently; their outputs are automatically coded into predicate logic formulas.
For instance, the reader will not find any material on modal predicate logic or on the proof theory of modal logic.
Logic Programming is a paradigm based on a subset of First-Order Predicate Logic, (we refer the interested reader to the following sources in Logic Programming [19, 18]).
Prefix classes are the most natural and the most commonly studied fragments of predicate logic.
In such cases, classical predicate logic may be sufficient.
Despite the general importance of first-order predicate logic in AI, it is not among the most common techniques in today's knowledge discovery applications.