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
  • 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. (es)
First
  • P. (es)
foaf:isPrimaryTopicOf
Isbn
  • 978 (xsd:integer)
rdfs:label
  • Forma prenexa (es)
Last
  • Hinman (es)
Is foaf:primaryTopic of
Publisher
dcterms:subject
Title
  • Fundamentals of Mathematical Logic (es)
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 4639069 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 6451 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 68778465 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [19 values]
Is dbpedia-owl:wikiPageWikiLink of
Year
  • 2005 (xsd:integer)