Lic.

FRANKLIN CHUMACERO HUAMÁN

1) MODUS:   ,  

I. MODUS PONENDO PONENS  M.P.P.

P1 ) p  q P1 ) p  q P1 ) p  q
P2 ) p P2 ) p P2 ) q
C) q C) q C) p
 II. MODUS TOLLENDO TOLLENS  M.T.T.
P1 ) p  q P1 ) p  q P1 ) p  q
P2 ) q P2 ) q P2 ) p
C) p C) p C) q
III. MODUS PONENDO TOLLENS  M.P.T.   

P1 ) p  q P1 ) p  q
P2 ) p P2 ) q
C) q C) p
 2) SILOGISMOS :

I. SILOGISMO DISYUNTIVO  S.D.   ,  

P1 ) p  q P1 ) p  q
P2 ) p P2 ) p
C) q C) q
II) SILOGISMO HIPOTÉTICO PURO S.H.P.
 
 
  , 
P1 ) p  q P1 ) p  q
P2 ) q  r P2 ) q  r
C) p  r C) p  r
  
 
3) DILEMAS :   ,  
   
 

I. DILEMA CONSTRUCTIVO  D.C.

P1 ) p  q
P2 ) r  s
P3 ) p  r
C) q  s
II. DILEMA DESTRUCTIVO  D.D.
P1 ) p  q
P2 ) r  s
P3 ) q  s
C) p  r
4. LEY DE CONJUNCIÓN   
P1 ) p
P2 ) q
C) p  q
5. LEY DE ADICIÓN O NUEVO FACTOR   
P1 ) p
C) p  x
x = Cualquier expresión
6. LEY DE SIMPLIFICACIÓN   
P1 ) p  q
C1 ) p
C2 ) q
1. De las siguientes premisas :
1. k  t
2.  k  j  q
Se infiere :
1. k  t 1. p  q

2.  k  j  q
p
q
3. k
 ....................... SIMPLIFICACIÓN 1
4. t 1. p
p  x
5. k  j ....................... ADICIÓN 3

6. q ....................... SD 2 y 5
1. p  q
2. p
7. q  t ....................... CONJUNCIÓN 4 y 6
 q

1. p
2. q
R ESPUESTA : q  t
 p q
2. De las siguientes premisas :
1. k   p  q
2.  p q    r  s 
3. s
Se infiere:
 1. k   p  q 1. p  q
p
2.  p q    r  s  q
3. s
1. p  q
4. k ....................... SIMPLIFICACIÓN 1
 2. p
5.  p  q  p q   q

6.  r  s  r  s ....................... SD 2 y 5

7. r ....................... SD 3 y 6

R ESPUESTA : r
    A  B  A  B
  
 A  B  A  B
 
 A  B  A  B
3. Hallar la conclusión, dada las siguientes premisas,:
1. x  0  x  y
2. x  z  x  y
3. x  z
Su conclusión es :
1. x  0  x  y 1. p  q
2. x  z  x  y 2. p

3. x  z q

4. x  y ......................................... MPP 2 y 3
......................................... MTT 1 y 4 1. p  q
5. x  0
2. q
 p

RESPUESTA : x  0
4. De las siguientes premisas:
1. q  r
2. t  s
3. s  r
4. p  q
5. t
6. p  u
Se infiere deductivamente :

1. q  r  q  r
2. t  s  s  t  s  t
3. s  r  r  s
4. p  q
5. t
6. p  u  p  u
1. q  r
1. p  q
2. s  t 2. q
3. r  s  p
4. p  q
5. t
1. p  q
6. p  u 2. p

7. s ......................................... MTT 2 y 5 q

8. r ......................................... MTT 3 y 7

9. q ......................................... SD 1 y 8

10. p ......................................... MTT 4 y 9

11. u ......................................... SD 6 y 10

R ESPUESTA : u
5. De las siguientes premisas formales :
P1 : p  r
P2 : t  q
P3 :u  s
P4 :( p  q )  ( r  s )
Se infiere deductivamente :
 P1 : p  r 1. p  q
P2 : t  q p
P3 :u  s q
P4 :( p  q )  ( r  s )

 P5 : p  q 1. p  q
............................... SIMP 4
 2. r  s
 P6 : r  s
3. p  r
P7 : q  s ............................... DC 1, 5 y 6
qs
P8 : u  t ............................... DD 2, 3 y 7
1. p  q
2. r  s
RESPUESTA : u  t
3. q s
 p r
6. Dadas las siguientes premisas, su conclusión es :
1. p  r
2. t  p
3. ( s  r )  ( p  r )
1. p  r  p  r   p  r   p r 1. p  q
2. t  p p
3. ( s  r )  ( p  r )  ( p  r )  ( s  r ) q

4. p  r
 ............................... SIMPLIFICACIÓN 1 1. p  q
5. p  r 2. p
6. s  r ............................... MPP 3 y 4 q

7. t  s  t  s ............................... DD 2, 5 y 6
1. p  q
2. r  s
3. q s

RESPUESTA : t  s  p r
7. Dada las siguientes premisas :
P1 : p  q  s  r
P2 : q  s
P3 :q  t
P4 : t  r
Hallar la conclusión :
P1 : p  q  s  r   p  q    s  r 1. p  q
P2 : q  s  s  q  s  q 2. q  r
P3 :q  t p  r
P4 : t  r  t  r
............................... SHP 3 y 4 1. p  q
P5 : q  r
2. p
P6 : s  r ............................... SHP 2 y 5
 q
P7 : p  q ............................... SD 1 y 6

RESPUESTA : p  q
8. De las siguientes premisas :
1. m   r  s 
2. k|m
3. k  p  q 
4.  q s
Se infiere:
1. m   r  s 
1. p  q
2. k|m   k m k m
p
3. k  p  q  q
4.  q s  q s  q s  s q s  q
1. p  q
5. k
 ............................... SIMPLIFICACIÓN 2 2. p
6. m q
7. p  q  q  p  q p ............................... MPP 3 y 5
8. r  s ............................... SD 1 y 6 1. p  q
2. p
9. s  p ............................... SHP 4 y 7
 q
10. r  p ............................... SHP 8 y 9
r p  p r  p| r 1. p  q
2. q  r

RESPUESTA : p | r p  r
9. Indicar la solución formal del siguiente razonamiento :
1.  y  3  9    y  6
2.  z  8    y  z  17 
3.  y  z  17    y  3  9 
Se infiere deductivamente :
1.  y  3  9    y  6 1. p  q
2.  z  8    y  z  17  p
3.  y  z  17    y  3  9  q

4.  y  z  17 
 ............................... SIMPLIFICACIÓN 3 1. p  q
5.  y  3  9  2. p
6.  z  8  ............................... SD 2 y 4  q

7.  y  6  ............................... MPP 1 y 5 1. p  q
8.  y  6    z  8  ............................... CONJUNCIÓN 6 y 7 2. p
q

1. p
RESPUESTA :  y  6    z  8  2. q
 p q
10. Dadas las premisas :
1.  h  2   k 1 
2.  k 1    r  4 
3.  r  4    t  0 
4.  t  0    z  5 
5.  z  5 
Hallar la conclusión :
1.  h  2   k 1 
1. p  q
2.  k 1    r  4  2. p
3.  r  4    t  0   q
4.  t  0    z  5 
5.  z  5  1. p  q
2. p
6.  t  0  ............................... MPT 4 y 5
q
7.  r  4  ............................... MPP 3 y 6

8. k  1 ............................... MPT 2 y 7 1. p  q
2. p
9. h  2 ............................... SD 1 y 8
 q

RESPUESTA : h  2
11. Dadas las siguientes premisas :
1. m   r  s
2.  r  s |  h k
3. k
Se concluye que.
1. m   r  s
1. p  q
2.  r  s |  h k  r  s |  h  k  r  s   h  k p
3. k q
4. m
 ............................... SIMPLIFICACIÓN 1
5. r  s  r  s 1. p  q
2. p
6. h  k  h  k ....................... SD 2 y 5
 q

7. h ....................... SD 3 y 6
1. p
8. hm ....................... CONJUNCIÓN 4 y 7
2. q
 p q

RESPUESTA : hm
12. De las siguientes premisas :
1. x   y  z
2.  k  j   a b
3.  x  k    z  a
4.  j  b   d  n
5. y
Se infiere :
 1. x   y  z
1. p  q
2.  k  j   a b
p
3.  x  k    z  a q
4.  j  b   d  n
5. y 1. p  q
6. x 2. p
 ............................... SIMPLIFICACIÓN 1
7.  y  z  q

8.  k  j
 ............................... SIMPLIFICACIÓN 2
9.  a  b 
 10.  x  k  ............................... SIMPLIFICACIÓN 3

 11.  z  a 
12. z ....................... MPP 5 y 7
13. a ....................... MPP 11 y 12
14. b ....................... MPP 9 y 13
15. k ....................... MPP 6 y 10
 4.  j  b   d  n 1. p  q
8.  k  j 2. p

9.  a  b  q
14. b
15. k 1. p
2. q
16. j ....................... MPP 8 y 15
 p q
17. j  b ....................... CONJUNCIÓN 14 y 16

18. d  n ....................... MPP 4 y 17

RESPUESTA : d  n
13. Dadas las siguientes premisas :
1.  q  1   4  8 
2.  4  8    a  b 
3.  a  b   z
4. z   y  x 
5.  y  x 
Se concluye :
1.  q  1   4  8  1. p  q
2.  4  8    a  b  2. q
 p
3.  a  b   z
4. z   y  x 
1. p  q
5.  y  x  2. p
6. z ....................... MTT 4 y 5  q

7. a  b ....................... SD 3 y 6
1. p  q
8. 4  8 ....................... MPP 2 y 7 2. p
9. q  1 ....................... MPT 1 y 8 q

1. p  q
RESPUESTA : q  1 2. p
 q
14. De las siguientes premisas :
1. A  B
2. K  T
3. T  B
4. D  A
5. K
Se concluye lo siguiente:
1. A  B
1. p  q
2. K  T  T  K
2. q  r
3. T  B BT
p  r
4. D  A
5. K
1. p  q
6. B  K ....................... SHP 2 y 3
2. q
7. B ....................... MTT 5 y 6
 p
8. A ....................... SD 1 y 7

9. D ....................... MTT 4 y 8 1. p  q
2. p
 q

RESPUESTA : D
15. Dadas las siguientes premisas :
1. q  r
2.  p  q
3. p  s
4. r  t
Se infiere:
 1. p  q
1. q  r
p
2.  p  q  p  q q
3. p  s
1. p  q
4. r  t
2. p
5. p ....................... SIMPLIFICACIÓN 2  q

6. q
1. p  q
7. s ....................... MPT 3 y 5 2. p
8. r ....................... MPP 1 y 6 q
9. t ....................... SD 4 y 8
1. p  q
10. s  t ....................... CONJUNCIÓN 7 y 9 2. p
 q

1. p
RESPUESTA : s  t
2. q
 p q
16. Dadas las premisas:
1. p   t  r 
2. r  s u
3.  q   s  u    v
4. p   t  q 
Hallar la conclusión :
1. p   t  r  1. p  q
2. r  s u p
q
3.  q   s  u    v   q   s  u    v   q   s  u    v
4. p   t  q  1. p  q
2. p
5. p
 q
6. t ....................... SIMPLIFICACIÓN 1
7. r
 1. p
8. t  q ....................... MPP 4 y 5 2. q

9. q ....................... MPP 6 y 8 p  q

10.  s  u ....................... MPP 2 y 7

11. q s  u ....................... CONJUNCIÓN 9 y 10

12. v ....................... MPP 3 y 11

R ESPUESTA : v
17. Si :
P1 : p q
P2 : q  (r  s)
P3 : ( t  r )  p
P4 : ( t  s )  u
¿Qué se infiere?
 P1 : p q 1. p  q
P2 : q  (r  s) p
q
P3 : ( t  r )  p
P4 : ( t  s )  u  u   t  s 1. p  q
 P5 : p 2. p
 ............................... SIMP 1  q
 P6 : q
P7 : r  s   r  s  r  s ............................... MPT 2 y 6 1. p  q
2. p
 P8 : r ............................... SIMP 7
  q
 P9 : s
P10 : t  r  t  r ............................... SD 3 y 5 1. p
2. q
P11 : t ............................... SD 8 y 10
p  q
P12 : t s  t  s ............................... CONJ. 9 y 11
............................... MTT 4 y 12 1. p  q
P13 : u
2. q
RESPUESTA : u  p
18. Sean las premisas :  x, y, z, w 
P1 : x  5  y  4
P2 : z  3  y  4
P3 : z  3  w  6
P4 : x  5
P5 : w  6  x  y  3
Se infiere deductivamente en la siguiente conclusión lógica formal
P1 : x  5  y  4 1. p  q
P2 : z  3  y  4 2. p
P3 : z  3  w  6 q
P4 : x  5
P5 : w  6  x  y  3 1. p  q
2. q
P6 : y  4 ............................... MPP 1 y 4
 p
P7 : z  3 ............................... MTT 2 y 6

P8 :w  6 ............................... MPP 3 y 7
1. p  q
P9 : x  y  3 ............................... SD 5 y 8 2. p
 q

RESPUESTA : x  y  3
19. De las siguientes premisas :
1. q  r
2.  p  q
3. s   p  r 
Se infiere :
1. q  r 1. p  q
2.  p  q  p  q  p  q  p  q 2. q  r

3. s   p  r  p  r

4. p  r ....................... SHP 1 y 2 1. p  q
5. s ....................... MPT 3 y 4 2. p
 q

R ESPUESTA : s
20. De las siguientes premisas :
1. p  q
2. q  r
3. r  t
4. m  p
5.  m t n
Se infiere :
 1. p  q  q  p 1. p  q
2. q  r p
q
3. r  t
4. m  p  m  p 1. p  q
5.  m t n 2. r  s
3. p  r
 6. m q  s
 ............................... SIMP 4
 7. p 1. p  q
8. p  t ............................... DC 1, 2 y 3 2. p
9. t ............................... SD 7 y 8  q

10. mt  m  t   m  t ............................... CONJ. 6 y 9 1. p

11. n ............................... SD 5 y 10 2. q
p  q
12. no  o n ............................... ADICIÓN 11
1. p
RESPUESTA : o  n p  x
PROBLEMAS PROPUESTOS
1. De las siguientes premisas :
1. k  k
2. p| p
3.  s  p    q  k 
Se infiere deductivamente :
 1. k  k  k  k  k
1. p  q
2. p | p  p  p  p
2. p
3.  s  p    q  k    s p q k  s  p q k  q
4.  s  p q ....................... SD 1 y 3
1. p  q
s  q   p q
p
5.  s  q  q
 ....................... SIMPLIFICACIÓN 4
6.  p  q 

7. q ....................... SD 2 y 6

R ESPUESTA : q
2. De las siguientes premisas :
1. q  r
2.  p  q
Se infiere :
1. q  r 1. p  q
2.  p  q p  q  p  q  p  q 2. q  r
p  r
3. p  r  pr ....................... SHP 1 y 2

R ESPUESTA : pr
RESPUESTAS OFICIALES SEMANA 07
1) q  t 16) v
2) r 17) u
3) x  0 18) x  y  3
4) u 19) s
5) u  t 20) o  n
6) t  s PROBLEMAS PROPUESTOS
7) p  q 1) q
8) p | r 2) pr
9)  y  6    z  8
10)  h  2 
11) hm
12) d  n
13) q  1
14) D
15) s  t