Está en la página 1de 4

Nombre: _________________________R E S P U E S T A S_____________________________

Dirección de correo-e: _____________ juansolanovargas@gmail.com ________________

I. Instrucciones: Probar que las conclusiones siguientes son consecuencia lógica de las premisas dadas.
Dar la deducción formal completa.

[A] Demostrar: H J)


(1) [(D E)  F]   (G  H) P
(2) (B  C)  (E  D) P
(3) B B P
(4) (G  H)   D P
(5) E   G P
(6) B DP 3
(7)B  C LA 6
(8) (B  C) DL 7
(9) E  D PP 2, 8
(10) D  E CL 9
(11) (D E) DL 10
(12) (D E)  F LA 11
(13) (G  H) PP 1, 12
(14) G  H DL 13
(15)  D PP 4, 14
(16) E TP 9, 15
(17) G PP 5, 16
(18) H TP 14, 17
(19) H  J LA 18
(20) H J) DL 19

[B] Demostrar: Y  A)


(1) [(V  Y)  (Z  A)]  (V  Z) P
(2) (X  Y)  (V  W) P
(3) [(Z  W) X  A)] (W  X) P
(4) X  Y S2
(5) V  W S2
(6) W  X S3
(7) Z  W S3
(8) X  A S3
(9) W  A HS 6, 8
(10) Z  A HS 7, 9
(11) W  Y HS 4, 6
(12) V  Y HS 5, 11
(13) (V  Y)  (Z  A) Conj. 10, 12
(14) V  Z PP 1, 13
(15) Y  A DS 10, 12, 14
(16) Y  A) DL 15
[C] Demostrar: J  K
(1) A  A P
(2) (A  B)  [(F  G)  K] P
(3) A  [(E  F)  (F  G)] P
(4) [A  B)  C]  [J  (E F)] P
(5) A DP 1
(6) (E  F)  (F  G) PP 3, 5
(7) A  B LA 5
(8) (F  G)  K PP 2, 7
(9) A  B) DL 7
(10) A  B)  C LA 9
(11) J  (E F) PP 4, 10
(12) J  (F G) HS 6, 11
(13) J  K HS 8, 12

[D] Demostrar: Y  Z
(1) ( M N)  (T  S  Z) P
(2)  [(N  M)  O] P
(3) (  H   I)  (Y  T  S) P
(4) H  N P
(N  M) O DL 2
(N  M) S5
N M DL 6
(8M N CL 7
(9) T  S  Z PP 1, 8
(10) (H LB 4
(11) H S 10
N S7
H TT 11, 12
(14) H  I LA 13
(15) Y  T  S PP 3, 14
(16) Y  Z HS 9, 15
II. Instrucciones: Simbolice y construya una prueba formal de validez para cada uno de los siguientes
argumentos.

[1] Si continúa la investigación se descubre nueva evidencia. Si se descubre nueva evidencia, entonces
muchos importantes ciudadanos son implicados. Si muchos importantes ciudadanos son implicados,
entonces los periódicos detienen la publicación del caso. Si la continuación de la investigación implica
que los periódicos detienen la publicación del caso, entonces el descubrimiento de nueva evidencia
implica que la investigación continúa. La investigación no continúa. Por tanto, no se descubre nueva
evidencia.

Sea P = Continúa la investigación


Sea Q = Se descubre nueva evidencia
Sea R = Muchos importantes ciudadanos son implicados
Sea S = Los periódicos detienen la publicación del caso

P.D.: Q
(1) P  Q P
(2) Q  R P
(3) R  S P
(4) (P  S)  (Q  P) P
(5) P P
(6) P  R HS 1, 2
(7) P  S HS 3, 6
(8) Q  P PP 4, 7
(9) Q TT 5, 8
[2] Si Felipe fue vacunado hace poco tiempo entonces él tiene fiebre. O Felipe fue vacunado hace poco
tiempo o si le aparecen viruelas entonces debe ser aislado. O Felipe tiene sarampión o si se le desarrolla
salpullido entonces hay complicaciones. Si Felipe tiene sarampión entonces tiene fiebre. Si Felipe no
fue vacunado hace poco y tampoco tiene sarampión, entonces o se le desarrolla salpullido o aparecen
viruelas. Felipe no tiene fiebre. Por lo tanto, o hay complicaciones o Felipe debe ser aislado.

Sea P = Felipe fue vacunado hace poco tiempo


Sea Q = Felipe tiene fiebre
Sea R = A Felipe le aparecen viruelas
Sea S = Felipe debe ser aislado
Sea T = Felipe tiene sarampión
Sea A = A Felipe se le desarrolla salpullido
Sea B = Felipe tiene complicaciones

P.D.: B  S
(1) P  Q P
(2) P  (R  S) P
(3) T  (A  B) P
(4) T  Q P
(5)P T  A  R P
(6Q P
(7) P TT 1, 6
(8) T TT 4, 6
(9)P T Conj. 7, 8
(10) A  R PP 5, 9
(11) R  S TP 2, 7
(12) A  B TP 3, 8
(13) B  S DS 10, 11, 12

También podría gustarte