No.

Lista: UNIVERSIDAD NACIONAL AUTÓNOMA DE HONDURAS Calificación:

FACULTAD DE HUMANIDADES Y ARTES
ESCUELA DE FILOSOFÍA

LÓGICA MATEMÁTICA – FF201

EVALUACIÓN UNIDAD 2

NOMBRE: Mario José Gutierrez Hernandez CUENTA: 20191000748

SECCIÓN: 1600FECHA: 19-03-2020 CIUDAD UNIVERSITARIA.

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. 5 pts.
(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.)

2. 1. [ X ˄ (Z  Y)]  (Z ˄ Y)
 (X ˄ Z)  Y
 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

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)
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.