LGICA SIMBLICA

LAS REGLAS DE INFERENCIA

Nombre Abreviatura Formulacin Esquema

1. Modus

ponendo

ponens PP

Esta ley nos indica que en un silogismo

condicional, al afirmar el antecedente es

vlido afirmar al consecuente.

1) 2) 3)

2. Modus

tollendo

tollens TT

Esta ley nos indica que cuando tenemos

una proposicin condicional y se niega el

consecuente, entonces es vlido negar el

antecedente.

1) 2) 3)

3. Modus

tollendo

ponens TP

Esta ley nos indica que en el caso de una

disyuncin exclusiva, cuando se niega la

primera proposicin es forzoso afirmar la

segunda.

1) 2) 3)

1) 2) 3)

4. Simplificacin S

Esta regla establece que de la conjuncin

de dos proposiciones podemos concluir

cualquiera de ellas.

1) 2)

1) 2)

5. Adjuncin A Consiste en unir dos preposiciones

siempre y cuando stas sean verdaderas.

1) 2) 3)

6. Doble

negacin DN

Una proposicin es idntica a ella misma

cuando le anteceden dos negaciones, pues

la primera anula a la segunda.

1) 2)

1) 2)

7. Ley de adicin LA

Si se tiene una proposicin que es cierta,

entonces la disyuncin de aquella

proposicin y otra cualquiera ha de ser

tambin cierta.

1) 2)

8. Ley

conmutativa CL

Consiste en invertir el orden de los

miembros de una conjuncin o disyuncin

sin afectar su significado.

1) 2)

1) 2)

9. Silogismo

hipottico HS

Con el antecedente de la primera premisa

y el consecuente de la segunda se formar

la conclusin.

1) 2) 3)

10. Silogismo

disyuntivo DS

Dadas tres premisas, se empieza con una

disyuncin y dos condicionales

concluyendo una nueva disyuncin

formada por los consecuentes de las

condicionales.

1) 2) 3) 4)

11. Simplificacin

disyuntiva SD

Consiste en obtener un miembro de una

disyuncin a travs de una simplificacin

cuando los dos miembros de la disyuncin

sean iguales.

1) 2)

12. Ley de

Morgan DL

Esta ley permite transformar una

disyuncin en una conjuncin, y viceversa,

es decir, una conjuncin en una

disyuncin.

1) 2) ( )

1) 2) ( )

13. Ley

bicondicional LB

Una proposicin bicondicional nos

permite tomar una o las dos condiciones

que la forman.

1)

2)

3)

1)

2)

3)