Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.

rdfs:comment
  • Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica de segundo orden (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 1084559 (xsd:integer)
dbpedia-owl:wikiPageInterLanguageLink
dbpedia-owl:wikiPageLength
  • 7685 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 19 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 76383602 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [18 values]
Is dbpedia-owl:wikiPageWikiLink of [26 values]