Definición de predicate calculus en inglés:

predicate calculus

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

sustantivo

[mass noun]
The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
Más ejemplos en oraciones
  • 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:

Obtener más de Oxford Dictionaries

Subscribirse para eliminar anuncios y acceder a los recursos premium

Palabra del día fioritura
Pronunciación: fɪˌɔːrɪˈt(j)ʊərə
noun
an embellishment of a melody...