Una formula de la lógica de predicados tiene forma prenexa si está escrita como una cadena de cuantificadores seguidos por una parte sin cuantifcar (designada como matriz). Toda fórmula es equivalente en lógica clásica a una fórmula en forma prenexa. Por ejemplo, si,, y son fórmulas sin cuantificar con las variables libres mostradas, luego Es en forma normal prenexa con la mtriz, mientras que Es lógicamente equivalente pero no en forma prenexa.
rdfs:comment |
|
First |
|
foaf:isPrimaryTopicOf | |
Isbn |
|
rdfs:label |
|
Last |
|
Is foaf:primaryTopic of | |
Publisher | |
dcterms:subject | |
Title |
|
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [19 values] |
Is dbpedia-owl:wikiPageWikiLink of | |
Year |
|