Compartir esta entrada
predicate calculus Saltos de línea: predi|cate cal¦cu|lus

Definición de predicate calculus en inglés:

sustantivo

[mass noun]
The branch of symbolic logic that deals with propositions containing predicates, names, and quantifiers.
Oraciones de ejemplo
  • 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:
Compartir esta entrada
 

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

Los comentarios que no respeten nuestras Normas comunitarias podrían ser moderados o eliminados.

Suscribirse para eliminar anuncios y acceder a los recursos premium