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.

[1] 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

[2] Demostrar: Y  A)

(1) (X  Y)  (V  W) P
(2) [(Z  W) X  A)] (W  X) P
(3) [(V  Y)  (Z  A)]  (V  Z) P
(4) X  Y S1
(5) V  W S1
(6) W  X S2
(7) Z  W S2
(8) X  A S2
(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 3, 13
(15) Y  A DS 10, 12, 14
(16) Y  A) DL 15

1
[3] Demostrar: J  K
(1) (A  B)  [(F  G)  K] P
(2) A  [(E  F)  (F  G)] P
(3) A  A P
(4) [A  B)  C]  [J  (E F)] P
(5) A DP 3
(6) (E  F)  (F  G) PP 2, 5
(7) A  B LA 5
(8) (F  G)  K PP 1, 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

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

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

2
II. Instrucciones: Simbolice y construya una prueba formal de validez para cada uno de los siguientes
argumentos.

[1] Si se requiere ya sea álgebra o geometría, entonces todos los estudiantes cursarán matemáticas. Se
requiere el álgebra y se requiere la trigonometría. Por lo tanto, todos los estudiantes tomarán
matemáticas.

Sea P = Se requiere álgebra

Sea Q = Se requiere geometría
Sea R = Todos los estudiantes cursarán matemáticas
Sea S = Se requiere trigonometría

P.D.: R
(1) P  Q  R P
(2) P S P
(3) P S2
(4) P  Q LA 3
(5) R PP 1, 4

[2] Si el rey no se enroca y el peón avanza, entonces o el alfil queda bloqueado o la torre inmovilizada.
Si el rey no se enroca, entonces, si el alfil queda bloqueado entonces el juego es tablas. O el rey se
enroca o si la torre es inmovilizada se pierde el cambio. El rey no se enroca y el peón avanza. Por lo
tanto, o el juego es tablas o se pierde el cambio.

Sea P = El rey se enroca

Sea Q = El peón avanza
Sea R = El alfil queda bloqueado
Sea S = La torre queda inmovilizada
Sea T = El juego es tablas
Sea A = Se pierde el cambio

P.D.: T  A
(1) P Q  R  S P
(2) P  (R  T) P
(3) P  (S  A) P
(4) P Q P
(5) R  S PP 1, 4
(6) P S4
(7) R  T PP 2, 6
(8) S  A TP 3, 6
(9) T  A DS 5, 7, 8