Reglas de Inferencia

Ing. Gerson Pérez Martínez

1.­ Adjunción – ADJ

5.­ Modus Ponendo Tollens – MPT

° 
°

P
Q
P ∧ Q

° 
°

P ∨ Q
P
¬Q

° 
°

P
Q
P ∨ Q

° 
°

P ∨ Q
Q
¬P

2.­ Simplificación – S

6.­ Modus Tollendo Ponens – MTP

° 

P  ∧ Q
P    
Q

° 
°

P ∨ Q
¬P
Q

° 

P  ∨  Q
P    
Q

° 
°

P ∨ Q
¬Q
P

3.­ Modus Ponendo Ponens – MPP

7.­ Silogismo Hipotético – SH

° 
°

P → Q
P
Q

° 
°

P  → Q
Q → R
P  →  R

° 
°

P → Q
Q
P

° 
°

Q → P
R → Q
R  → P

4.­ Modus Tollendo Tollens – MTT
° 
°

P → Q
¬P
¬Q

° 
°

P → Q
¬Q
¬P

Reglas de Reemplazo
Ing. Gerson Pérez Martínez

1.­ Doble Negación – DN
° 

¬¬P
P

2.­ Ley de Morgan – LM
° 

( P  ∧ Q ) '
¬P  ∨ ¬Q

° 

( P  ∨ Q ) '
¬P  ∧ ¬Q

3.­ EQUIVALENCIAS – E1, E2
° 

P  ↔  Q

E1

P → Q

E2

Q → P

Sign up to vote on this title
UsefulNot useful