Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

R.D.R. 2827

Curso Grupo I – 2021

Razonamiento Lógico Separata N°7 Ciencias

INFERENCIAS LÓGICAS I
a) Inferencias Inmediatas: Cuando la conclusión se obtiene directamente de una sola premisa.

P1: premisa 1
C: Conclusión

b) Inferencias Mediatas: Cuando la conclusión se obtiene de dos o más premisas.

P1: premisa 1
P2: premisa 2

Pn: premisa n

C: conclusión

En forma equivalente
(P1 P2 … Pn)  C

LEYES DE INFERENCIA LÓGICA

I. MODUS (, , )

a) Modus Ponendo Ponens (M.P.P) “Método afirmando afirma”:Es un argumento en que al afirmar el
antecedente. Se concluye afirmando el consecuente. También se le conoce como “Afirmando, Afirma”.
Solo se da en la operación de implicación () y bicondicional (). Su estructura es:

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.1
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

1) P1: p  q 2) P1: p  q
P2: p P2: q
q p
3) P1: p ← q 4) P1: p  q
P2: q P2: p
p q

b) Modus TollendoTollens (M.T.T.) “Método Negando Niega”: Es un argumento en la que al negar el

consecuente se concluye negando el antecedente. También se le conoce como “Negando, Niega”. Sólo se
da en la operación Implicación ( ) y biimplicación ().

1) P1: p  q 2) P1: p  q
P2: q P2: p
 p  q
3) P1: p ← q 4) P1: p  q
P2: p P2: q
 q  p

II. Silogismos:

a) Silogismos Disyuntivo (S.D.) Solo: “v,”: Si una proposición se niega la otra se afirma.

1) P1: p  q 2) P1: p v q
P2: p P2: q
 q  p
3) P1: p  q 4) P1: p v q
P2: q P2: p
 p  q

b) MODUS PONENDO TOLLENS (M.P.T). “Afirmo, Niego”: Es un tipo de silogismo donde interviene la
disyunción excluyente. Si en una premisa se tiene dos proposiciones unidas con la disyunción excluyente, y
en otra premisa se afirma una de ellas, concluimos en la negación de la otra premisa. (Recuerda que en la
disyunción excluyente sólo se cumple una de dos proposiciones)

1) P1: p  q 2) P1: p  q
P2: p P2: q
 q  p

c) Silogismos Hipotético Puro (S.H.P.): El SHP hace posible extraer como conclusión, otra proposición
condicional cuyo antecedente sea el de la primera premisa y cuyo consecuente sea el mismo de la segunda
premisa. (Esta ley es llamada también ley de transitividad)

 , ,  
 , ,  
 
1) P1: p  q 2) P1: p  q P1: q  p
P2: q  r P2: q  r  P2: q  r
 pr  pr  pr

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.2
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

III. Ley de Conjunción (adjunción); sólo (): Si se tienes dos proposiciones cualesquiera, como premisas, se
puede dar como conclusión una proposición que sea la conjunción de las premisas establecidas.

P1: p
P2: q
pq

IV. Ley de Simplificación; “sólo ()”: Se elige cualquiera de las dos o también las dos posibilidades.

P1: p  q
C1: p
C2: q

V. Ley de Adición (nuevo factor); sólo “v”: Dada una proposición cualquiera que se establece como premisa,
se puede obtener como conclusión una proposición disyuntiva en la que una de ellas es dada, es decir.

P1: p ; “x” cualquier proposición

pvx

 , ,  
 , ,  
VI. Dilemas
 

    

A) Dilema Constructivo (D.C): Dadas dos proposiciones condicionales; si afirmamos los dos antecedentes
disyuntivamente; se puede concluir en la afirmación disyuntiva de los consecuentes.

SI tomamos antecedente
P1: p  q afirmados en disyunción débil,
P2: r  s obtengo consecuentes en
P3: p v r disyunción débil
 q vs

B) Dilema Destructivo (D.D.): Dadas dos proposiciones condicionales; si negamos los dos consecuentes
alternativamente; se puede concluir en la negación alternativa de los antecedentes.

Si tomamos los consecuentes

P1: p  q
negados en disyunción débil, obtengo
P2: r  s antecedentes negados en disyunción
P3: q vs débil

 p v r

NOTA:

Ley de absurdo: TRANSITIVIDAD SIMÉTRICA

P1: p  (q q) P1: p  q

P2: q r
 p  p r

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.3
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

PRÁCTICA
1. De las siguientes premisas obtener la conclusión: Se infiere:
P1: R  S a) s
P2: R b) p
P3: SQ c) q  k
P4: Q  N d) t r
P5: T  N e) t
a) R
b) S 6. De las siguientes premisas:
c) Q 1. q  r
d) T 2. q  p
e) T 3. pr
2. Hallar la conclusión de: 4. s  p  t
P1: J  K  M 5. s
Se infiere:
P2:  J  M  Q
a) ps
P3:  R  K  Q b) p s
P4: R c) p
a) J d) t
b) R e) t
c) M
d) Q 7. De las siguientes premisas:
e) J  R 1. p r
2. m  k
3. p  q  k
3. De las siguientes premisas:
1. r  s
2. r   p  q 4.  m  s  r
3.  q  s 5.  s  m    n  q
6. n
4. p  q
Se infiere:
Se infiere: a) q
a) p
b) s  n
b) q
c) m
c) p  s d) q  s
d) p s e) s  q
e) p  t
8. De las premisas:
4. De las siguientes premisas: 1.  s  r   n
1. k t
2. p sn
2. k  j  q 3. q  x  w
3. s   q  t 4. q| r
Se infiere: 5. p  w
a) t Se infiere:
b) k t a) w
c) qm b) w  x
d) s c) x
e) q  j d) w  x
e) p
5. De las siguientes premisas:
1. k   p  q 9. Dadas las premisas formales:
1. t  u
2.  p  q |  r  s 
2. p  t 
3. s
3. pq
4. k  r   t

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.4
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

4. r  s  Se infiere:
a) p   q  p 
5. q r
6.  s  u  u  s  b) u
c) pq
Se concluye:
pt
a)  u  s d)
e) pq
b) sp
c) s t 14. De las siguientes premisas:
d) sq 1. k  m  p
e) us
2. q
10. De las siguientes premisas: 3. k   q  p
1. t 4. m   r  s
2. n   p  t 
5.  t  r   u  s
3.  p  m   q  m 6. t  u
4.  q  n  s Se infiere:
Se infiere: a) r  t
a) s m b) s
b) q c) t  u
c) q d) s  r
d) s e) s m
e) m  q
15. Dadas las siguientes premisas:
1. B  A
11. De las siguientes premisas:
1. q  r 2. A| E
C D
2.  p  q
3.
4. C B
3. ps
5. F  D  E
4. r  s
Se infiere: Se concluye en:
a) p | r a) B  A
b) s b) E
c) D
c) r  p
d) E
d) r
e) F  W
e) pr
16. De las premisas dadas:
12. De las siguientes premisas:
1. q   t  s
1. s t
2. r  q 2. p r
3. p  t 3. s  t
4. q s 4. q| r
5.  w  p  r 5. p  q
Se infiere: 6. u  q
a) p Hallar la conclusión válida.
a) u
b) t
b) q
c) r
d) w c) s t
e) q d) r
e) t
13. De las siguientes premisas:
1. t  r  s  17. Dadas las siguientes premisas:
1. p  r
2. t
2. tp
3. q  r   p 3.  s  r   p | r
4. u p
4. s

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.5
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

Su conclusión es: Se concluye:

a) r a) u  m
b) s p b) qp
c) t  q c) ur
d) p  r d) r q
e) st e) w  u

18. De las siguientes premisas: 22. Hallar la conclusión correcta en:

1. s  k | q P1: p  (~ q  r)
P2: ~ (p  s)
2. pt
P3: ~ s  ~ r
t  s  k 
P4: t   q  m
3.
4. q  k  z  w a) m
5.  p  k   u  w  b) q
Se infiere: c) t
a) q w d) s
e) pq
b) k
c) q
23. Si:
d) z u
P1 : p  q
e) t
P2 : q  r
19. Dadas las premisas: P3 : r  s
1.  s | q   s  r  P4: s  t
P5: u  p    v  t
2.  p | q  r
¿Qué se infiere?
3. t p a) p  u
4.  s  p  t b) p t
5. p   q  u c) s p
6. u w d) (v  t)
Su conclusión lógica formal es: e) u | v
a) p  q
b) w 24. Si:
c) r s P1 : p q
d) pq P2 : q  (r  s)
e) u P3 : (t  r)  p
P4 : s
20. Hallar la conclusión válida, para las premisas: P5 : w  t
1.  u  q  h | w  ¿Qué se infiere?
a) t  s
2.  r  s  p  q
b) w
3. w  u   t  p  c) t s
4. r d) t  w
5. t m e) t s
a) t
b) u q 25. Dadas las premisas:
c) r s P1: p  q
d) u t P2: r  (p  q)
e) m w P3: r s
P4: ( h  t )  s
21. Dadas las premisas: P5: h  u
1. r    q  m  s Se concluye:
a) p  q
2. r  p   t
b) h t
3. s u
c) t
4. pq
d) h  t
5. p t e) u

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.6
Inscripción virtual: http://academiaexitus.edu.pe/
 Academia Preuniversitaria Exitus Virtual 2021 ¡La Disciplina es la Clave del Éxito!

26. De las premisas formales: a) q  r

1. a b
b) p
2. c  d
c) q
3. a  d
d) r s
Se infiere:
 p s
c  b
e)
a) c  d b)
c) a d) b 32. Hallar la conclusión, dadas las premisas:
e)  a | d 1. p  q  r
2.  p  q  r
27. De las premisas dadas:
a) p  q b) p  r
1. q   t  s
c) q d) r
2. p  r
e) q  s
3. st
4. q  r 33. Hallar la conclusión válida, para las premisas:
Hallar la conclusión válida. 1. u  q  h  w 
a) p b) q
c) p  t d) r 2.  r  s    p  q
e) t 3.  w  u   t  p 
4. r   r  m
28. Dadas las siguientes premisas:
1. p  r a) t
2. tp b) u q
c) r s
3.  s  r   p  r 
d) u t
Su conclusión es:
e) s
a) r b) s p
c) t s d) p  r 34. Dadas las premisas:
e) s  t 1. r   q  s 

29. De las siguientes premisas: 2. r  p   t

1. s   k  q 3. t  u
2. pt 4. p  q
Se concluye:
3. t   s  k
a) p  r b) qp
4.  q  m   z  w  c) u  r d) r q
Se infiere: e) w  u
a) q  w b) k
c) q d) z w 35. Dadas las siguientes premisas:
e) t P1: A B
P2: B  C
30. Dadas las premisas: P3: C  D
1.  s  q   s  r  P4: D  E
2.  p  q  r P5: E
Se concluye:
3. t p a) A  D
4.  s  p  t b) E
c) A
Su conclusión lógica formal es:
d) A
a) p  q b) r
e) C B
c) r  s d) p  q
e) s 36. Obtener la conclusión de las siguientes premisas:
P1: [(p  r)  p]  q
31. Hallar la conclusión, dadas las premisas:
P2: (p  s)  r
1. r s
P3: ( q  r)  s
2. ps
a) p b) p
3. p  q
c) q  r d) q
Ver21 Sep RL7
e) r MVPP/ Exitus

Piura : Calle Arequipa #304 Cel. (920128540 – 961880334 – 946657988) Tel. (073-331669 / 073-323644)
www.academiaexitus.edu.pe f:/academiaexitus-piura f:/academiapreuniversitariaexitus-tumbes Pág.7
Inscripción virtual: http://academiaexitus.edu.pe/