En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas. En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia.

rdfs:comment
  • En lógica, una deducción es un argumento donde la conclusión se infiere necesariamente de las premisas. En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión (la conclusión de la deducción), y todas las fórmulas en la secuencia son, o bien axiomas, o bien premisas, o bien inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencia. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Deducción (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageID
  • 17637 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1855 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 21 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 75903324 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [20 values]
Is dbpedia-owl:wikiPageWikiLink of [112 values]