El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas. Se trata de una formalización de la técnica de demostración ordinaria según la cual para demostrar que de A se sigue B, basta con suponer A y a partir de ello llegar a la conclusión de que B.

rdfs:comment
  • El teorema de la deducción es un metateorema de la lógica proposicional, la lógica de primer orden y otros sistemas lógicos, que es bastante utilizado para demostrar otros metateoremas. Se trata de una formalización de la técnica de demostración ordinaria según la cual para demostrar que de A se sigue B, basta con suponer A y a partir de ello llegar a la conclusión de que B. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Teorema de la deducción (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 3544930 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 3554 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 15 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 64542830 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [15 values]
Is dbpedia-owl:wikiPageWikiLink of