kjgjkghkhkj



UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA



LÓGICA MATEMÁTICA
TRABAJO GRUPAL DE CALIFICACIÓN INDIVIDUAL No. 2



PRESENTA
CINDY LORENA DÁVILA CERÓN. C.C 1012352419

KERLY JOHANNAPRIETO CHIRIVI. C.C 1012328139



TUTOR
MARTHA LUZ SANDOVAL



DIRECTOR DE CURSO
GEORFFREY ACEVEDO GONZÁLEZ



MAYO 20 DE 2013.



CONTENIDO


INTRODUCCIÓN.
FASE 1. DEBATE ENTRERAZONAMIENTO DEDUCTIVO E INDUCTIVO.
FASE 2. ANÁLISIS DE VALIDEZ.
2. 1. DECLARACIÓN DE PROPOSICIONES SIMPLES.
2.2. PREMISAS EN LENGUAJE SIMBÓLICO.
2.3. CONCLUSIÓN EN LENGUAJE SIMBÓLICO.
2.4.DEMOSTRACIONES.
2.4.1. DEMOSTRACIÓN A PARTIR DE LAS TABLAS DE VERDAD FORMA 1.
2.4.2. DEMOSTRACIÓN A PARTIR DE LAS TABLAS DE VERDAD FORMA 2.
2.4.3. VERIFICACIÓN CON SIMULADOR.
2.4.4. DEMOSTRACIÓN APARTIR DE LAS LEYES DE INFERENCIA.
2.4.5. DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO.
FASE 3. REFLEXIÓN GRUPAL.
CONCLUSIONES.
REFERENCIAS BIBLIOGRÁFICAS.










INTRODUCCIÓN


Losrazonamientos deductivos e inductivos, se pueden encontrar en todos los aspectos y entornos de nuestra vida, por lo que es importante conocer los métodos más adecuados y eficaces para determinar la validezo invalidez de los mismos y también, llevarlos de una forma organizada, con el fin de poder tomar las mejores opciones que sean posibles.

Además, existen actividades que cuando se desarrollanadecuadamente nos permiten adquirir y afianzar los conocimientos que necesitamos para lograr un aprendizaje, que por el hecho de ser autónomo y colaborativo, nos ha de conllevar a los resultados esperadosy requeridos para avanzar en el curso propuesto.

Es por eso que en este trabajo se llevan a cabo diferenciaciones entre razonamientos deductivos e inductivos, se emplean los diversos métodos dedemostración tales como las tablas de verdad, el directo y el de reducción al absurdo, con el fin de que se puedan observar las diferencias entre los mismos y obtener los mejores conceptos de cada uno,...