Conceptualización de las

reglas de inferencia.

Concepto

Lógica Inferencial Razonamiento Lógico Inferencia Lógica

Reglas de Inferencia
Tarea
Principales reglas Leyes de Equivalencia

Premisas Conclusión Descubrir que hace que un argumento sea

válido y constituya una inferencia correcta Método Demostrativo

Modus ponendo
Son Que es Argumento ponens Se emplean
para sustituir
Modus tolledo
Proposiciones Forma el Conjunto de una o más proposiciones una expresión
tollens
conectadas consecuente por otra que
mediante Modus tolledo sea equivalente
conjunciones ponens
Ultimas Anteriores
Silogismo
Hipotético

Se denominan Simplificación

Conjunción Observar y
reflexionar
Conclusiones Premisas Adición

Silogismo Se escriben las

Qué son Disyuntivo premisas en
renglones
Proposiciones conectadas mediante separados
conjunciones

Evidencia o razones
Clasificación Qué hace que deben
convencernos de
la verdad
Tautológica Que es de verdad para todos
los posibles valores de verdad
Proposición

Es llamada contradicción o
Contradicción absurdo si ofrece un resultado
falso para todos los posibles
Dependiendo de
valores de verdad
sus valores de
Métodos de demostración
verdad
Contradicción Es una tingencia cuando
puede ser verdadera o falsa
Prueba Formal dependiendo de sus valores
Métodos de
de verdad
tablas de verdad de Validez

Reglas de Reglas de Pasos para

inferencia remplazo o demostrar la
equivalencia validez de un
argumento