La Lógica; Lógica de

predicados y lógica de
Proposiciones
Matemáticas
Universidad Nacional Mayor de San Marcos (UNMSM)
4 pag.

Document shared on www.docsity.com

Downloaded by: kevin-daniel-correa-huaman (kevindanielcorreahuaman03@gmail.com)
IDEPUNP/CICLO PRE - ADES / ABRIL– JULIO 2017 1 RAZONAMIENTO LÓGICO

SOLUCIONARIO SEMANA Nº 07
TEMA: INFERENCIAS LÓGICAS I
COORDINADOR: FRANKLIN CHUMACERO HUAMÁN.

Document shared on www.docsity.com

Downloaded by: kevin-daniel-correa-huaman (kevindanielcorreahuaman03@gmail.com)
IDEPUNP/CICLO PRE - ADES / ABRIL– JULIO 2017 2 RAZONAMIENTO LÓGICO

CUESTIONARIO P1 :  8 < 7   35 e) p

SOLUCIÓN
1. Encontrar la
P:
2
 7  8   7  4 SOLUCIÓN 1. p  r
conclusión del P:
3
 5  7   4 < 7 2.  r  t 
siguiente argumento: P1: p  r
P1: p  a Se puede concluir: 3. (  p  q)  s
P2: t  q
4. q   t
P2: p   a  b  a) 3  4 o 5 7 P3: u   s 5)p  t ... S.H. P. 1 y 2
P3: b  q b) P4:  t  p
(p  q)  (r  s)
 ¿? 5  3 salvo que 7  5 6 ) q  p ... S.H. P. 4 y 5
----------------------------
p c) 5 3 o 7 > 5  q  p
a) -
b) q 7 )s ... M.P.P. 3 y 6
d) 5)(p  q)
c) q  ...SIMPLIFICA
d) p a 6)(r  s)  RESPUESTA: C
3  5 y/o 7 > 5
e) q a e) 35 y 7>5 7 )q  t ...transposició
8)s  u ...transposición 8. De las premisas
SOLUCIÓN SOLUCIÓN formales:
9)p  t ... S.H.P. 5 y 7 1. r  s
P1: p  a
P1 :  8 < 7    3  5 10)r  u ... S.H.P. 6 y 8 2. p  s
P2: p   a  b  3. p  q
11) t  u ... D. C. 9 ,10
P:
2
 7  8   7  4 4.  q
P3: b  q RESPUESTA: A
P:  5  7   4 < 7 5. r  t
------------------ 3
Se infiere:
              6. Dadas las premisas:
4 )p  a)  t  r 
 SIMPLIFICACIÓN 4)  3  5    5  7  ... D. C. P1: 10111011
5 ) a  P2: 11001111 b) p
6 )  a  b  ... M.P.P. ( 2 Y c) q
RESPUESTA: D Su conclusión es: d) r  s
7 ) b ... S.D.( 5 Y 6) a) 11001100
e) t
8 ) q ... M.P.P. ( 3 Y 7 ) 4. Dadas las b) 01010100
siguientes c) 10101111
d) 11110000 SOLUCIÓN
premisas: 1. r  s
1. r  s  p e) 00110000
RESPUESTA: C 2. p  s
2.  q  p 3. p  q
2. De la siguiente 3. q   t  r  SOLUCIÓN 4.  q
inferencia lógica: Su conclusión es: 5. r  t
P1: t  w a) m   s 1)  p  q  r    p  q  r  -----------------
P2: r  (t  w) b)  s   t 6)r  q ... S. H. P. 1,2 y 3
q  r
P3: w  u c) p 7) r ... M. T. T. 4 y 6
s  t q r
d) 8) t ...S.D.5 y7
P4: u  q 2 )  p  q  r     p  q 
e) r
P5: w p  q RESPUESTA: E
SOLUCIÓN
p q
Se concluye en:
        9. Hallar la conclusión de
a) q 1. r  s  p
las siguientes premisas:
b) r 2.  q  p 3) p  r ... S.H. P. 1
P1: (h  j)
c) q r 3. q   t  r 
P2: a  (~ h  j)
d) q r -------------------- p  r
P3: b  ~ c
e) q  r 4 )  q V V V
 ... simplificación 2 P4: ~ a  c
SOLUCIÓN 5)p  V F F
a) j
6 ) r  s ... S.D. 1 Y 5 V V V
P1: t  w b) b
7 ) t  r ... M. P. P. 3 y 4 V F F c) a
P2: r  (t  w)
8 ) t F V V d) b
P3: w  u  ... simplificación 7 e) c
9 ) r  F V F
P4: u  q F V V
10 ) s ... S.D. 6 Y 9 SOLUCIÓN
P5: w F V F
11 ) s   t ... CONJUNCION 8
----------------- P1: (h  j)
6)t  RESPUESTA: D RESPUESTA: C
 definicion y simp P2: a  (~ h  j)
7 ) w 
5. De las siguientes P3: b  ~ c
8 ) w  q ... S.H.P. 3 y 4 7. Dadas las premisas:
premisas formales: P4: ~ a  c
9) q ... M. P.P. 5 y 8 1. p  r
P1: p  r r  t
------------------------------
10 ) r  t ...S.D. 2 y 7 2. 5) a ... M. T. T. 1 y 2
P2: t   q
11) r ...S.D. 6 y 10 3. (  p  q)  s 6) c ...M.P.P. 4 y 5
P3: u   s
12 ) r  q ... CONJUNCI 4. q   t 7) b ... S.D. 3 y 6
P4: Su conclusión es:
q r (p  q)  (r  s) RESPUESTA: D
a)  s  r
Se infiere b) t
RESPUESTA: D deductivamente: c) s
3. De las premisas: d)  s  p
a) u   t
b) p   q e)  s  r 
c) t u
d) q

Document shared on www.docsity.com

Downloaded by: kevin-daniel-correa-huaman (kevindanielcorreahuaman03@gmail.com)
IDEPUNP/CICLO PRE - ADES / ABRIL– JULIO 2017 3 RAZONAMIENTO LÓGICO

4 )  p  q    p q  ... S. H. P. 1
10. De las premisas
dadas, hallar la RESPUESTA: A   p  q    p q
conclusión:
1. p   q 13. De las siguientes 
  p  q   p q 
premisas: TAREA DOMICILARIA
2. r   p  q 1. pq 5) q ABSORCION Y S.D.3 y 4
2.  qr 1. Dadas las siguientes
3. r  s premisas: RESPUESTA: D
3.  rs
4. t  s 4. (p  s)   t   r  s   p
1.
a) r Se infiere:
2. q  p
b) s a) t
c) t b) t 3.  q  r
d) p c) t  u 3. Dadas las siguientes
e) p   t 4. u  s premisas:
d) t  u
P1: m   m
SOLUCIÓN e) p  s a) u
P2: s  m
1. p   q
b)  s  p P3: a
SOLUCIÓN
2. r   p  q Su conclusión será:
c) u a) a  s
1. pq
3. r  s d) q b)   a  s 
2.  qr
4. t  s 3.  rs e) r c)   a  s 
----------------------------- 4. (p  s)   t SOLUCIÓN d) a  s
5) r ...M. T. T. 1 y 2 ------------------------ e)  s  a
SOLUCIÓN
6)s ...M. P. P. 3 y 5 5) p  q 1.   r  s   p
 P1: m   m
7) t ...M. T. T. 4 y 6 6) q  r  ...EQUIVALENCIA P2: s  m
2. q  p
7 ) r  s  P3: a
RESPUESTA: C 3.  q  r -----------------------
8) p  s ... S. H. P. 5, 6 y 7
4)  m   m ...DEFINICION DE IMPLICADO
 p  s  4. u  s
11. Hallar la conclusión
m
de las siguientes 9)  t ... S. D. 4 y 8 -----------------
premisas: 5)  s ...M.T.T. 2 y 4
P1: 0011 5)r  s  p ... DEFINICIÓN DE
RESPUESTA: B
6 )  q 6) a   s ...SIMPLIFICACION Y MORGÁ
P2: 0101 14. Dadas las siguientes  ... SIMPLIFICACIÓN 2
premisas, hallar la 7) p  (  a  s )
P3: (p  q)  (p  q)
conclusión: 8) r  s ... S. D. 5 y 7 RESPUESTA: B
a) p  q
1. p |  q 9) r  q ...TRANSPOSICIÓN
b)  q  p 4. Dadas las siguientes
c) p 2.  s 10) s  u ...REORDENANDO premisas:
d) p  q 11) q  u ...D. C. 8, 9 y 10
3. r | p P1:  p  q  m
e) q   p
12) u ...S.D. 6 y 11 P2: p  q
SOLUCIÓN 4. r s
P1: 0011 RESPUESTA: C P3: m   a  b 
a) r
P2: 0101 Su conclusión será:
b) s 2. Dadas las siguientes a) a  b
P3: (p  q)  (p  q) premisas:
c) p  q b) a  b
---------------------------------- P1:
c)   a  b 
-- d) p  p  q    p q
4) p d) a  m
P2:
e) q e) m  a
5)  q   p q    p q
6) ( p  q) ...CONJUNCIÓN 4 SOLUCIÓN
P3: SOLUCIÓN
7) p  q ... S.D. 3 y 6
1. p | q  p   
q  q    p q   p P1:  p  q  m
P2: p  q
Su conclusión será:
RESPUESTA: E 2.  s
a) p  q P3: m   a  b 
12. De las siguientes 3. r | p b)   p  q  ------------------------
premisas: 4. r s c ) p q 4)  (p  q) ...NEGACIÓN DEDISYU
1. q  r
d) q 5) m ...S.D. 1 y 4
2. q  p ---------------------------
e)  q
3. q | r 5)  p  q ...DEFINICIÓN DE 6)  ( a  b) ...M. P. T. 3 y 5
Se infiere: p q SOLUCIÓN
6) r  p ...DEFINICIÓN DE B RESPUESTA: C
a) p   q
P1:
p  s 7 ) q  s ...D.C. 4, 5 y 6 5. De:
b)
8) q ...S. D. 2 y 7
 p  q    p q P1:
c) p
P2:  p  q   p  q
d) q
p  s RESPUESTA: E   p q    p q
e)
P3: P2:
SOLUCIÓN
  p  q     p  q
1. q  r
2. q  p
 p   
q  q    p q   p
---------------------------------- P3:
3. q | r
---------------
------------------------  p  q   p  q
4)  q  p ... D. D. 1, 2 y 3

Document shared on www.docsity.com

Downloaded by: kevin-daniel-correa-huaman (kevindanielcorreahuaman03@gmail.com)
IDEPUNP/CICLO PRE - ADES / ABRIL– JULIO 2017 4 RAZONAMIENTO LÓGICO

P4:
  p  q   p  q 1 C
P5: p  q 2 D
3 B
Se infiere
deductivamente: 4 C
a) p  q
5 E
b) p  q
c ) p  q
d) p  q
e)   p  q

SOLUCIÓN

P1:  p  q   p  q

P2:
  p  q     p  q

P3:  p  q   p  q

P4:   p  q   p  q

P5: p  q
-----------------------------

6)   p  q ...S. D. 2 y 5

7)  p  q ...S. D. 3 y 6

8)  p  q ...M. P. P. 1 y 7

9)   p  q ...M. P. P. 4 y 8

RESPUESTA: E

HOJA DE CLAVES

Ciclo PRE ADES ABRIL

– JULIO 2017

Curso:
RAZONAMIENTO
LOGICO.

Semana: 07 Tema:
INFERENCIAS
LÓGICAS I

TIEMPO
PREGUNTA CLAVE

01 C
02 D
03 D
04 D
05 A
06 C
07 C
08 E
09 D
10 C
11 E
12 A
13 B
14 E

TAREA DOMICILIARIA

Document shared on www.docsity.com

Downloaded by: kevin-daniel-correa-huaman (kevindanielcorreahuaman03@gmail.com)