bn:00788747n
Noun Concept
Categories: Reglas de inferencia
ES
instanciación universal  Instanciacion universal
ES
En lógica de predicados, la instanciación universal[1]​[2]​[3]​ es una regla de inferencia válida que a partir de una verdad sobre cada miembro de una clase de individuos da la verdad sobre un individuo en particular de esa clase. Wikipedia
Definitions
Relations
Sources
ES
En lógica de predicados, la instanciación universal[1]​[2]​[3]​ es una regla de inferencia válida que a partir de una verdad sobre cada miembro de una clase de individuos da la verdad sobre un individuo en particular de esa clase. Wikipedia