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.

Más definiciones de predicate calculus 

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 tortie
Pronunciación: ˈtɔːtiː
noun
a tortoiseshell cat