Universidad Pedagógica Nacional Francisco Morazán

Facultad de Ciencia y Tecnología

Departamento de Ciencias Matemáticas

Reglas de Inferencia Lógica

Prof.: Manuel Antonio Cardona Márquez

Modus ponendo ponens (PP) Modus tollendo tollens (TT) Leyes de De Morgan de la
conjunción (LDDC)
P Q P Q
P Q P Q P Q

Q P P Q P Q

Modus tollendo ponens (TP) Ley de la Doble Negación (DN) Leyes de De Morgan de la
disyunción (LDDD)
P Q P P
P P P Q P Q
P
Q P Q P Q

Regla de simplificación (S) Regla de Adjunción (Adj) Ley de las proposiciones

bicondicionales (LPB)
P Q P
Q P Q
P
P Q P Q Q P

Regla de adición (Ad) Ley del silogismo hipotético

P (SH)
P Q P Q Q P
P Q
Q R P Q
P R
Ley del silogismo disyuntivo Ley de la simplificación
(SD) disyuntiva (LSD) Leyes distributivas de la
P Q lógica (investigarlas)
P R P P
Q S P

R S

Ley conmutativa de la Ley conmutativa de la Regla de las premisas (P)

conjunción (LCC) disyunción (LCD)
Una premisa se puede
P Q P Q introducir en cualquier
punto de la demostración.
Q P Q P