| Property |
Value |
| dbo:abstract
|
- En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
- En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| dct:subject
| |
| rdfs:comment
|
- En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
- En la lógica de predicados, la generalización existencial (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales. Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola." En ː Donde a reemplaza a todas las instancias libres de x en Q (x). (es)
|
| rdfs:label
|
- Generalización existencial (es)
- Generalización existencial (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
