Universidad Nacional Autónoma de México

Facultad de Estudios Superiores Acatlán

Filosofía/ Lógica 1

Minuta 13: Reglas de Inferencia

Mtro. Guillermo Callejas Bausi/ 13 de noviembre del 2023

En la lección anterior, abordamos el tema de las Reglas de Inferencia, las cuales se

emplean para llevar a cabo pruebas formales de validez que demuestran la verdad. Para
obtener una referencia detallada, se puede consultar el libro "Copi de Lógica simbólica",
que abarca este contenido de manera exhaustiva.

Estas reglas buscan demostrar la validez lógica de argumentos simbólicos y se componen

de nueve principios fundamentales, que se detallan a continuación:

1. Modus Ponens (M.P)

2. Modus Tollens (M.T)
3. Silogismo Hipotético (H.S)
4. Silogismo Disyuntivo (D.S)
5. Dilema Constructivo (C.D)
6. Dilema Destructivo (D.D)
7. Simplificación (Simp.)
8. Conjunción (Conj.)
9. Adición (Ad.)

Estas nueve reglas de inferencia representan formas válidas elementales de argumentos,

cuya validez puede establecerse fácilmente mediante tablas de verdad. Son herramientas
que permiten la construcción de pruebas formales de validez para una amplia gama de
argumentos más complejos.

En la aplicación práctica de estos conceptos, realizamos varios ejercicios, entre los cuales
se presenta el siguiente ejemplo:

Ejemplo: (∼A→B)⋅(C∨∼D)(∼A→B)⋅(C∨∼D) ∴(∼A→B)⋅(∼D∨C)∴(∼A→B)⋅(∼D∨C)

1. ∼A→B∼A→B (Premisa)
2. (C∨∼D)⋅(∼A→B)(C∨∼D)⋅(∼A→B) (Conmutación)
3. C∨∼BC∨∼B (Simplificación)
4. ∼D∨C∼D∨C (Conmutación)
5. (∼A→B)⋅(∼D∨C)(∼A→B)⋅(∼D∨C) (Conjunción de 2 y 4)

Estos ejercicios aplican las reglas de inferencia de manera secuencial para demostrar la
validez lógica de los argumentos simbólicos, facilitando así el análisis de argumentos más
complejos.