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).

Property Value
dbo:abstract
  • 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)
  • 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)
dbo:wikiPageID
  • 355035 (xsd:integer)
dbo:wikiPageLength
  • 4821 (xsd:integer)
dbo:wikiPageRevisionID
  • 119489374 (xsd:integer)
dct:subject
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)
  • 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)
rdfs:label
  • Forma normal de Skolem (es)
  • Forma normal de Skolem (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of