Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores universales. Una fórmula puede ser Skolemizada, lo que implica que sus cuantificadores existenciales son suprimidos, produciendo una nueva fórmula equisatisfactible con respecto a la original. La skolemización es una aplicación de la equivalencia (aplicación perteneciente a la lógica de segundo orden).

rdfs:comment
  • Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores universales. Una fórmula puede ser Skolemizada, lo que implica que sus cuantificadores existenciales son suprimidos, produciendo una nueva fórmula equisatisfactible con respecto a la original. La skolemización es una aplicación de la equivalencia (aplicación perteneciente a la lógica de segundo orden). (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Forma normal de Skolem (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 355035 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 4795 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 8 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 74268341 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink
Is dbpedia-owl:wikiPageWikiLink of