La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.

rdfs:comment
  • La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Lógica de primer orden (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 286415 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 41832 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 118 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of [13 values]
dbpedia-owl:wikiPageRevisionID
  • 77264585 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [83 values]
Is dbpedia-owl:wikiPageWikiLink of [107 values]