1. LEYES DE LA INFERENCIA LÓGICA: Las inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. En lógica, especialmente en lógica matemática, una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
2. LÓGICA MATEMÁTICA: Es la trata de los métodos de razonamiento.En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. Este razonamiento es empleado en la matemática para demostrar los teoremas.
3. Tipos de Inferencia Lógica
4. Modus Tollendo Tolens (MTT)
5. Modus Ponen (MPP)
6. Lógica Informal
7. Lógica Formal
8. Lógica Simbólica
9. Lógica Matemática
10. Tipos de Lógica
11. RAZONAMIENTOS LÓGICOS: En definitiva, es un proceso mental que implica la aplicación de la lógica. A partir de esta clase de razonamiento, se puede partir de una o de varias premisas para arribar a una conclusión que puede determinarse como verdadera, falsa o posible.