WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Lógica Matemática, La disciplina que trata los metodos de razonamiento y que opera por medio del lenguaje simbolico. Los Razonamientos, Metodos de demostración Son una serie de razonamientos que prueban la validez de un nuevo conocimiento, mediante el establecimiento de conexiones con otros conocimientos., Reglas y Metodos Los Metodos de demostración, El metodo mas conveniente para demostrar la validez Se utilizan Las reglas de inferencia, La inferencia lógica Es Proceso para obtener nuevas prposiciones apartir de otras ya dadas con anterioridad., Lenguaje simbólico Se compone de Variables proposicionales, La disciplina que trata los metodos de razonamiento y que opera por medio del lenguaje simbolico. A tráves Reglas y Metodos, Nexos lógicos Son Palabras que unen o relacionan las proposiciones, Son utilizadas cuando por medio de las reglas de inferencia no se logra la validez. Hay 10 diferentes reglas: 1. Ley de Morgan (DM) 2. Conmutación (CONM) 3. Doble negación (DN) 4. Distribución (DIS) 5. Tautología (TAU) 6. Asociación (ASO) 7. Implicación material (MP) 8. Transposición (TRAN) 9. Exportación (EXP) 10. Equivalencia material (EM), Variables proposicionales Estas son Letras minúsculas que representan las proposiciones de un argumento., Razonamientos Su tareas es Mostrar la validez de los argumentos y su correcta inferencia lógica, Reglas y Metodos Provienen de La inferencia lógica, La disciplina que trata los metodos de razonamiento y que opera por medio del lenguaje simbolico. El Lenguaje simbólico, Las reglas de inferencia Son Formas de argumentos que pueden ser demostradas en tablas de verdad que permiten formar conclusiones bien formadas y validas por medio de otras premisas., Letras minúsculas que representan las proposiciones de un argumento. Ejemplo "p","q","r"..., Metodos de demostración Existen Formas de probar las validez de un argumento, Lenguaje simbólico Se compone de Nexos lógicos, Formas de probar las validez de un argumento Esta Prueba formal de validez, El metodo mas conveniente para demostrar la validez Se utilizan Reglas de remplazo o equivalencia, Formas de argumentos que pueden ser demostradas en tablas de verdad que permiten formar conclusiones bien formadas y validas por medio de otras premisas. Hay 10 diferentes reglas: 1. Modus Ponens (MP) 2. Modus tollens (MT) 3. Silogismo disyuntivo (SD) 4. Silogismo hipotético (SH) 5. Adición (AD) 6. Conjunción (CON) 7. Simplificación (SIM) 8. Dilema constructivo (DC) 9. Dilema destructivo (DD) 10. Absorción (ABS)