Share this entry

Share this page

predicate calculus

Saltos de línea: predi|cate cal¦cu|lus

Definición de predicate calculus en inglés:


[mass noun]
The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
Example sentences
  • What you are saying is that, strictly speaking, a proof is valid if it is written out in predicate calculus and has the right structure according to the rules of logic.
  • In this way, Bradley had a significant, if indirect, impact on predicate calculus.
  • In the classical predicate calculus only conjunction, negation and the universal quantifier are needed.

Definición de predicate calculus en:

Share this entry

Share this page


¿Qué te llama la atención de esta palabra o frase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Obtenga más de Oxford Dictionaries

Suscribirse para eliminar anuncios y acceder a los recursos premium

Palabra del día tenebrous
Pronunciación: ˈtɛnɪbrəs
dark; shadowy or obscure