About: Razonamiento deductivo (original) (raw)

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.​​ En resumen es comprender/entender(deducir) algo con base en un argumento.