En lógica, un razonamiento deductivo 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. Por ejemplo, la siguiente es una deducción de la fórmula en el sistema de la lógica proposicional: es la incógnita que es la respuesta y es la pregunta. Una pregunta puede tener varias respuestas por lo cual puede tener varias incógnitas esto quiere decir que esto se deduce a partir de la lógica.

Leer el artículo completo en Wikipedia · CC-BY-SA

Deductive reasoning, also deductive logic, logical deduction is the process of reasoning from one or more statements (premises) to reach a logically certain conclusion. It differs from inductive reasoning and abductive reasoning. Deductive reasoning links premises with conclusions. If all premises are true, the terms are clear, and the rules of deductive logic are followed, then the conclusion reached is necessarily true. Deductive reasoning (top-down logic) contrasts with inductive reasoning (bottom-up logic) in the following way: In deductive reasoning, a conclusion is reached reductively by applying general rules that hold over the entirety of a closed domain of discourse, narrowing the range under consideration until only the conclusion(s) is left. In inductive reasoning, the conclusion is reached by generalizing or extrapolating from specific cases to general rules, i.e., there is epistemic uncertainty. However, the inductive reasoning mentioned here is not the same as induction used in mathematical proofs – mathematical induction is actually a form of deductive reasoning.

Leer el artículo completo en Wikipedia · CC-BY-SA