Respuestas
Respuesta:el término deducción, que deriva del vocablo latino deductio, hace referencia al acto y la consecuencia de deducir. Este verbo, a su vez, alude a extraer una conclusión o a descontar un cierto monto.Por ejemplo: “Esta mañana, cuando me levanté, no estabas en casa: así que, por deducción, supongo que habrás pasado toda la noche afuera”, “El gobierno provincial anunció que aplicará una deducción del 2% sobre todos los depósitos bancarios que superan los 10 000 pesos”, “El fisco permitirá la deducción del gasto de alquiler del Impuesto a las Ganancias”.
En el plano de la lógica, la deducción es un tipo de razonamiento a través del cual la conclusión es inferida necesariamente de los axiomas o las premisas. Luego de una sucesión de fórmulas, el razonamiento deductivo permite extraer la conclusión mediante reglas de inferencia.
Veamos cómo funciona la deducción a partir de premisas:
Premisa Nro. 1: “Todos los perros son animales mamíferos”
Premisa Nro. 2: “Bobby es un perro”
Conclusión: “Bobby es un animal mamífero”
Como se puede advertir, si la totalidad de los perros son animales mamíferos y Bobby es un perro, la deducción lógica es que Bobby también es un animal mamífero ya que es un perro. Deducir, en este marco, consiste en la extracción de una verdad particular partiendo de un principio general.
Se conoce con el nombre de teorema de la deducción, en el ámbito de la lógica proposicional, la de primer orden y otros sistemas formales, a un metateorema que se usa con mucha frecuencia para llevar a cabo la demostración de otro. Un metateorema, por su parte, es una de las ramas de la lógica, y se enfoca en el estudio de los componentes y las propiedades de los sistemas lógicos; entre estas últimas se destacan la completitud, la decidibilidad y la consistencia.
El teorema de la deducción puede definirse como una formalización de la técnica normal de demostración: basta la suposición de A para concluir que B, y de este modo demostrar que se sigue B de A.
Deducción
Explicación: