MINISTERIO DE EDUCACION NACIONAL

UNIVERSIDAD DE LA AMAZONIA
FLORENCIA – CAQUETÁ
NIT: 891.190.346-1
RAZONAMIENTO LÓGICO
Prof. Luis Eduardo Torres García
REGLAS DE INFERENCIA
REGLA DE INFERENCIA PREMISAS CONCLUSIÓN
MODUS PONENDO PONENS (MPP) P ⇒Q ; P Q
MODUS TOLLENDO TOLLENS (MTT) P ⇒Q ; Q P
MODUS TOLLENDO PONENS (MTP) P ∨Q ; P Q
o SILOGISMO DISYUNTIVO
SILOGISMO HIPOTÉTICO (SH) P ⇒Q ; Q ⇒ R P⇒R
Caso a ¿ P;Q P ∧Q
UNIÓN o ADJUNCIÓN (ADJ)
Caso b) P; P ⇒ Q ;P ⇒ R P ∧Q
SIMPLIFICACIÓN (S) P ∧Q P ,Q
ADICIÓN (ADI) P P ∨Q
DOBLE NEGACIÓN (DN) P ( P)
DILEMA CONSTRUCTIVO (DC) P ∨Q ; P ⇒ R ; Q ⇒S R∨S
SIMPLIFICACIÓN DISYUNTIVA(SID) P∨P P
P ⇔Q P ⇒Q
BICONDICIONAL (B) P ⇔Q Q⇒P
P ⇔Q ( P ⇒Q ¿ ∧
(Q ⇒ P)
P ∧Q Q∧P
CONMUTACIÓN (C) P ∨Q Q∨P
P ⇔Q Q⇔P
DUALIDAD o D´MORGAN (DM) P ∧Q ( P ∨ Q)
P ∨Q ( P ∧ Q)
INFERENCIA DE UN (P1 , P1 , … , Pn , ; P)⇒Q P ⇒Q
CONDICIONAL(PC)
DEDUCCIÓN INDIRECTA P ⇒(Q ∧ Q) P
EJERCICIOS
B) Utilizando las reglas de inferencia deducir las proposiciones indicadas en cada uno de los
ejercicios siguientes:
1. Deducir ( S ∧ Q) 2. Deducir R ⇒ Q
P1 T P1 ( R ∧ S)
P2 P → S P2 S ⇒ Q
P3 P ∨T

3. Deducir ( S ∨ Q) 4. Deducir ( P ∨ Q) ⇒ (R∧ S)

P1 S ⇒ Q P1 R ⇒ T
P2 (T ∧ R) P2 T
P3 S ⇒(T ∧ R) P 3 ( P ∨ Q) PC
P4 R MTT 1,2
P5 R ∨ S Adición 4
P 6 ( R ∧ S) DM 5
 MINISTERIO DE EDUCACION NACIONAL
UNIVERSIDAD DE LA AMAZONIA
FLORENCIA – CAQUETÁ
NIT: 891.190.346-1
RAZONAMIENTO LÓGICO
Prof. Luis Eduardo Torres García
5. Deducir U 6. Deducir T
P1 P ∧T P1 P ⇒ Q
P2 P ⇒ Q P2 Q ∨ R
P3 Q ⇒( R∧ S ) P3 P ∧S
P4 R ∨ T ∨U P4 T ⇒( R ∧ S)

7. Deducir S 8. Deducir ( P ∨ S)
P1 (Q ∧ S)⇔ P P1 Q ⇒ P
P2 P →Q P2 R ⇒ S
P3 Q → R P3 T → Q
P4 R P4 T ∨ R
P 5 S ∨∼ Q DC 2,3,4
P6 T → ∼ P SH 1,3
P 7 S ∨∼ P DC 2,4,6
P 8 ∼ P ∨S C7