El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o deducción es una operación lógica que consiste en obtener un enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la aplicación de reglas de inferencia.
Autor |
|
Año |
|
rdfs:comment |
|
Editorial |
|
Id |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
Título |
|
prov:wasDerivedFrom | |
Is dbpedia-owl:wikiPageDisambiguates of | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [51 values] |
Is dbpedia-owl:wikiPageWikiLink of | [38 values] |