metodo decutivo

DEFINICIÓN DE MÉTODO DEDUCTIVO
El método deductivo es un método científico que considera que la conclusión se halla implícita dentro las premisas. Esto quiere decir que las conclusiones son una consecuencia necesaria de las premisas: cuando las premisas resultan verdaderas y el razonamiento deductivo tiene validez, no hay forma de que la conclusión no sea verdadera.
Las primeras descripcionesdel razonamiento deductivo fueron realizadas por filósofos en la Antigua Grecia, entre ellos Aristóteles. Cabe destacar que la palabra deducción proviene del verbo deducir (del latín deducĕre), que hace referencia a la extracción de consecuencias a partir de una proposición.
El método deductivo logra inferir algo observado a partir de una ley general. Esto lo diferencia del llamado métodoinductivo, que se basa en la formulación de leyes partiendo de los hechos que se observan.
Entre los ejemplos que podemos utilizar para entender más exactamente lo que significa el término método deductivo estaría el siguiente: si partimos de la afirmación de que todos los ingleses son puntuales y sabemos que John es inglés, podemos concluir diciendo que, por tanto, John es puntual.
En el ámbito delas Matemáticas también se hace mucho uso del citado método deductivo. Así, en esta materia podremos encontrar ejemplos que lo demuestran: si A es igual a B y B es igual a C, podemos determinar qué A y C son iguales.

Prueba Formal de Invalidez y de Validez
Para hallar la invalidez de un razonamiento, existe un método mucho más rápido que las tablas de verdad: la Prueba Formal de Invalidez.Este método se basa en buscar una contradicción (reducción al absurdo). Es decir, si las premisas pueden ser verdaderas y la conclusión falsa, entonces el resultado es inválido. Se siguen los siguientes pasos:
Se le da valor 0 a la conclusión.
Se intenta darle valor verdadero a las premisas a partir de la conclusión.
Si todas las premisas son verdaderas y la conclusión no, el razonamiento esinválido.
Si esto no ocurre, no se puede probar la invalidez del razonamiento.
Sin embargo, para probar la validez del razonamiento, hay que hacer otra prueba, la Prueba Formal de Validez.

Esta prueba consiste en deducir la conclusión a partir de las leyes lógicas y de las reglas fundamentales. Se siguen los siguientes pasos:
Se numeran las premisas.
En lenguaje natural, se nombra la ley quese utiliza y las premisas afectadas.
Se busca alcanzar la conclusión.
MÉTODOS DE DEDUCCIÓN

Prueba formal de valides .
Cuando los argumentos contienen mas 2 o 3 enunciados simples diferentes como componentes, se hace difícil o tedioso usar tablas de verdad para probar su valides. Un método mas convincente de establecer la valides de algunos argumentos es deducir las conclusiones de suspremisas por una secuencia de argumentos mas cortos y Mas elementales que ya se conocen que son validos.
Considérese, por ejemplo, el siguiente argumento donde aparecen enunciados simples diferentes:
El procurador general a impuesta una censura estricta o si black envío la carta que escribió, entonces devis recibió un aviso.
Si nuestras líneas de comunicación no se han interrumpido por completo,entonces si davis recibió un aviso, entonces emory fue informado del asunto.
Si el procurador General a impuesto una censura estricta, entonces nuestras líneas de comunicación se an interrumpido por completo.
Nuestras líneas de comunicación no se han interrumpido por completo.
Por tanto, si black envío la carta que escribió, entonces emory fue informado del asunto.
Esto puede traducirse ennuestro simbolismo como
Establecer la valides de este argumento por medio de una tabla de verdad requeriría una tabla de 30 y 2 renglones. Pero podemos probar el argumento dado como valido deduciendo su conclusión de sus premisas por la secuencia de sola mente 4 argumentos cuya valides se a señalado ya. De la tercera y 4ta premisas Validamente inferimos Por modus tolens de Y la primera premisa ,...