| Property |
Value |
| dbo:abstract
|
- En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa. El término «prenexa» viene del latín praenexus, pasado participio de praenectere, que significa «atado» o «atado en el frente». Cuando una fórmula en forma normal prenexa solo posee cuantificadores universales, se dice que está en forma normal de Skolem. Toda fórmula en forma normal prenexa es lógicamente equivalente a una en forma normal de Skolem, y la manera de llegar de una a otra se denomina skolemización. (es)
- En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa. El término «prenexa» viene del latín praenexus, pasado participio de praenectere, que significa «atado» o «atado en el frente». Cuando una fórmula en forma normal prenexa solo posee cuantificadores universales, se dice que está en forma normal de Skolem. Toda fórmula en forma normal prenexa es lógicamente equivalente a una en forma normal de Skolem, y la manera de llegar de una a otra se denomina skolemización. (es)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:first
| |
| prop-es:isbn
| |
| prop-es:last
| |
| prop-es:publisher
| |
| prop-es:title
|
- Fundamentals of Mathematical Logic (es)
- Fundamentals of Mathematical Logic (es)
|
| prop-es:year
| |
| dct:subject
| |
| rdfs:comment
|
- En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa. (es)
- En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa. (es)
|
| rdfs:label
|
- Forma normal prenexa (es)
- Forma normal prenexa (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
