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
  • COPI, IRVING M. (es)
  • DEAÑO, ALFREDO (es)
  • GARRIDO, M. (es)
Año
  • 1974 (xsd:integer)
  • 1982 (xsd:integer)
rdfs:comment
  • 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. (es)
Editorial
  • MADRID: ALIANZA EDITORIAL (es)
  • MADRID: TECNOS (es)
  • MEXICO 22 D.F: EDITORIAL CONTINENTAL S.A. DE C.V. (es)
Id
  • ISBN 84-206-2064-5 (es)
  • ISBN 84-309-0537-5 (es)
  • ISBN 968-26-0134-7 (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Cálculo lógico (es)
Is foaf:primaryTopic of
dcterms:subject
Título
  • INTRODUCCIÓN A LA LÓGICA FORMAL (es)
  • LÓGICA SIMBÓLICA (es)
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 612362 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 46909 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 66 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 71780569 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [51 values]
Is dbpedia-owl:wikiPageWikiLink of [38 values]