Search:   Dictionary All Posts
Store Your Knowledge at the Brain Bank!

predicate calculus Definition

Cancel
predicate calculus
noun(pred-i-cate cal-cu-lus)
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Synonyms: functional calculus,

Words Related to predicate calculus!

functional calculus, existential quantifier, universal quantifier, symbolic logic, propositional logic, universe of discourse, logical system, propositional calculus, syncategorematic, categorematic, mathematical logic, modal logic, formal language, formal logic, deontic logic, tagmemics, logical relation, tagmeme, logic gate, philosopheme, mathematical statement, partial derivative, cartesian product, logic, quantifier, conditional probability, binomial theorem, nonlogical, natural number, independent variable, major premise, sememe, joint probability, rhematic, noun phrase, integral calculus, binary operation, prosyllogism, predicate, hilbert space, overlogical, explicandum, logarithmic function, verb phrase, anacoluthia, semasiological, superposition principle, dependent variable, porism, exponential function, nominalize, rational number, constatation, exponential equation, suprarational, propositional, adposition, mathematical process, random variable, consectary, syllogize, harmonic analysis, monte carlo method, autological, main clause, matrix operation, algebraic number, topological space, ontological argument, porime, mathematical relation, minor premise, sematology, absolute space, mathematical, nomial, unary operation, metric space, affine transformation, scientific method, relative clause, hysteron proteron, semantics, function word, central limit theorem, decidable, grammatical relation, paralogism, recursive definition, grammatication, independent clause, disambiguator, derivement, infinitesimal calculus, inclusive or, equipollence, anacoluthon, logic diagram, chemical equation, inference,

predicate calculus Examples by Brain Bank Users