LÓGICA MATEMÁTICA – FF201

SOLUCIONARIO - EVALUACIÓN UNIDAD 2

PARTE A

Instrucciones: Construya una demostración formal de validez para cada uno de los siguientes
argumentos, utilizando en cada caso la notación sugerida. (usar solo las 19 reglas) 4 pts. c/u

1. 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.
(K: El rey se enroca. P: El peón avanza. B: El alfil es bloqueado R: La torre es inmovilizada.
D: El juego es tablas. E: Se pierde el cambio.)
1. (K • P )  (B v R)
2. K  (B  D)
3. K v (R  E)
4. K • P
D v E
5. K ……. 4, Simp.
6. B  D ….. 2, 5, M. P.
7. R  E ….. 3, 5, S. D.
8. (B  D) ᛫ (R  E) ….. 6, 7, Conj.
9. B v R …… 1, 4, M. P.
10. D v E …… 8, 9, D. C.

2. 1. [ X ˄ (Z  Y)]  (Z ˄ Y)
 (X ˄ Z)  Y
2. [ X ˄ (Z v Y)]  (Z ˄ Y) …. 1, Impl. Mat.
3. X  [(Z v Y)  (Z ˄ Y)] …. 2, Exp.
4. X  [(Z v Y) v (Z ˄ Y)] …. 3, Impl. Mat.
5. X  [(Z  Y) v (Z  Y)] …. 4, De M.
6. X  [(Z  Y) v (Z  Y)] …. 5, Conm.
7. X  [Z ≡ Y] …. 6, Equiv.
8. X  [(Z  Y)  (Y  Z)] …. 7, Equiv.
9. X  [(Z  Y)  (Y  Z)] …. 8, Impl. Mat.
10. [X  (Z  Y) ]  [ X  (Y  Z) ] …. 9, Dist.
11. X  (Z  Y) …. 10, Simp.
12. X  (Z  Y) …. 11, Impl. Mat.
13. (XZ)  Y …. 12, Exp.
 PARTE B

Instrucciones: Construya una demostración formal de validez para cada uno de los siguientes
argumentos, utilizando en cada caso la notación sugerida y utilizando cualquier regla. 4 pts. c/u

*[Si los realiza usando reducción al absurdo 2 pts. extra a su nota final]
1. 1. A  (B • C)
2. (B v C)  E
A  E
3. (B v C) v E …. 2, Imp. Mat.
4. (B • C) v E …. 3, De M.
5. E v (B • C) …. 4, Conm.
6. A v (B • C) …. 1, Imp. Mat.
7. (E v B) • (E v C) …. 5, Dist.
8. (A v B) • (A v C) …. 6, Dist.
9. A v B …. 8, Simp.
10. E v B …. 7, Simp.
11. B v E …. 10, Conm.
12. A  B …. 9, Imp. Mat.
13. B  E …. 11, Imp. Mat.
14. A  E …. 12, 13, S. H.
3.  (A  E) …. Redu. Absurd. 3. A ………  E (Prueba Condicional)
4.  (A v E) ….. 3, Imp. Mat. 4. B • C ……. 1, 3, M. P.
5.  A •  E ……. 4, De Morgan. 5. B …………. 4, Simp.
6. A • E ……. 5, D. N. 6. B v C ……… 5, Ad.
7. A …………. 6, Simp. 7.  E ………. 2, 6, M. P.
8. E …………. 6, Conm. Simp.
9. B • C ……. 1, 7, M. P.
10. B ……… 9, Simp.
11. B v C ……. 10, Ad.
12. E ………… 2, 11, M. P.
13. E •  E ……. 8, 12, Conj.
--- Contradicción encontrada.

2. Si estudia ciencias entonces se prepara para vivir desahogadamente, mientras que si estudia
humanidades entonces se prepara para vivir adecuadamente. Si él se prepara para vivir
desahogadamente o se prepara para vivir adecuadamente entonces sus años de universidad están
justificados, pero sus años universitarios no están justificados. Por tanto, ni estudia ciencias ni
estudia humanidades. (C, D, H, A, U)
 3. 1. (N  A) • (U  V)
2. Z v (N v U)
/∴ Z v (A v V)
3.  [Z v (A v V) ] …….. Red. Absurd. (prueba indirecta)
4. Z •  (A v V) ………. 3, De Morgan.
5. Z …………………….4, Simp.
6.  (A v V) ……….. 4, Conm. Simp.
7. N v U ……………. 2, 5, Sil. Disy.
8. A v V ……………. 1, 7, Dil. Const.
9. (A v V) •  (A v V) ……… 8, 6, Conj.
---- Contradicción Encontrada.

3. N  A ……. 1, Simp.
4. U  V ……. 1, Conm. Simp. Se muestran cuatro (4) posibles
respuestas.
5. Z  (N  U) …… 2, Imp. Mat.
6. (Z ᛫ N)  U ……. 5, Exp.
7. (Z ᛫ N)  V ……. 6, 4, S. H.
8. (N ᛫ Z)  V …… 7, Conm.
9. N  (Z  V) …… 8, Exp.
10. (Z  V)  N …… 9, Trans.
11. (Z  V)  A …… 10, 3, S. H.
12. (Z  V) v A ……. 11, Imp. Mat.
13. (Z v V) v A …… 12, Imp. Mat.
14. Z v (V v A) …… 13, Asoc.
15. Z v (A v V) …… 14, Conm.

EXTRA: Si María es culpable entonces no es cierto que si José disparó el arma entonces Karen salió herida. Si
hay evidencia entonces si José disparó el arma entonces Karen salió herida. Hay evidencia. Por tanto ¿María es
culpable o no? (Conteste la pregunta realizando una prueba formal de validez) 1 pt.

1. M  (J  K)
2. E  (J  K)
3. E
 ¿?
4. J  K …. 2, 3, M. P.
5. (J  K) …. 4, D. N.
6. M …. 5, 1, M. T. R// María no es culpable.