1. Utiliza Métodos para probar la validez de un argumento
1.1. Tablas de verdad
1.1.1. Permite establecer la validez de varias propuestas F o V, Se clasifica en
1.1.1.1. Tautología
1.1.1.1.1. Todos los resultados son Verdaderos (V)
1.1.1.2. Contradicción
1.1.1.2.1. Todos los resultados son Falsos (F)
1.1.1.3. Contingencia
1.1.1.3.1. Algunos resultados son verdaderos (V) y otros son falsos (F)
1.2. Reglas de inferencia lógica
1.2.1. Es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y devuelve una conclusión
1.2.1.1. Modus Ponendo Ponens (PP)
1.2.1.2. Modus Tollendo Tollens (TT)
1.2.1.3. Silogismo Hipotético (SH)
1.2.1.4. Doble Negación (DN)
1.2.1.5. Modus Tollendo Ponens (TP)
1.2.1.6. Adjunción (A) y Simplificación (S)
1.2.1.7. Ley de la Adición (LA)
1.2.1.8. Silogismo Disyuntivo (DS)
1.2.1.9. Simplificación Disyuntiva (SD)
1.2.1.10. Otras leyes lógicas de apoyo
1.2.1.10.1. Prueba del condicional
1.2.1.10.2. Ley de absorción (abs)
1.2.1.10.3. Ley de Contraposición (Contraria)
1.2.1.10.4. Ley del Condicional
1.2.1.10.5. Ley de Exportación (LE)
1.2.1.10.6. Leyes de Morgan (DM)
1.2.1.10.7. Leyes Conmutativas (LC)
1.2.1.10.8. Leyes Asociativas (LA)
1.2.1.10.9. Leyes Distributivas (LD)
1.3. Razonamiento Lógico
1.3.1. Aplica la logica, para llegar a una conclusion ya sea V, F o posible.
1.3.2. Tipos
1.3.2.1. Razonamiento Deductivo
1.3.2.1.1. Es un argumento donde la conclusión se infiere necesariamente de las premisas
1.3.2.2. Razonamiento Inductivo
1.3.2.2.1. Es una forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan
2. Estudia la
2.1. Inferencia
2.1.1. Es el objeto de estudio tradicional de la lógica. Es el proceso por el cual se derivan conclusiones
2.1.1.1. a partir de
2.1.1.1.1. Premisas
2.1.2. Mediante
2.1.2.1. Sistemas formales
2.1.2.1.1. Como
3. Es el estudio formal y simbólico
3.1. Lógica
3.1.1. Es la ciencia que estudia las formas del pensamiento: conceptos, juicios y, especialmente, los métodos y principios que se utilizan para distinguir el razonamiento correcto del incorrecto