1. Hjem
  2. Definisjoner
  3. Engelsk
  4. predicate calculus

Definisjon av predicate calculus

Vi fant 2 definisjoner av predicate calculus på engelsk.

Annonsering

WordNet WordNet by Princeton University

Noun
predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
functional calculus
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
= synonym
= antonym
= relatert ord

Wiktionary Wiktionary dictionary logo

Substantiv
predicate calculus - The branch of logic that deals with quantified statements such as "there exists an x such that... " or "for any x, it is the case that... ", where x is a member of the domain of discourse.

Uttale

%NAME

%TEXT

Siste søk

autoradiograph aquaphobic vine maple raising hell hell raising