Lógica Matemática – FF201

Tarea Acumulativa –– UNIDAD 2

Ejercicios #1 – Valor 10%

Parte A.
Instrucciones: realice una prueba formal de validez para cada uno de los siguientes argumentos dados en
lenguaje formal, y mencione si son válidos o inválidos (por qué son inválidos). Puede utilizar las 19 reglas
vistas hasta este momento. 1 pt. c/u

1. 1. [(W•I)  O] • [Z  (I•O)]

WZ

2. 1. A  (I  J)
2. A•H
3. I •J
 A  J

3. 1. (A•B)  [A  (D•E)]
2. (A•B)•C
3. D
DE
Parte B.
Instrucciones: traduzca y realice una prueba formal de validez para cada uno de los siguientes argumentos
dados en lenguaje natural, y mencione si son válidos o inválidos (por qué son inválidos). Puede utilizar las
19 reglas vistas hasta este momento.
1. Si o Argentina o Brasil se une a la alianza entonces, si o Chile o Ecuador la boicotea entonces no
es cierto que ambos Perú y Nicaragua la boicotea. Si o Perú no la boicotea o Nicaragua no la
boicotea entonces Uruguay se incorpora a la alianza.
Por tanto, si Argentina se incorpora a la alianza entonces, si Chile la boicotea entonces Uruguay se
incorpora a la alianza. (A, B, C, E, P, N, U) 3 pts.

2. Si sale de día de campo viste ropa sport. Si viste ropa sport entonces no asiste a ambos, al banquete
y a la fiesta. Si él no asiste al banquete él conserva su boleto de entrada, pero él ya no conserva su
boleto de entrada. Por tanto, sale de día de campo. (C, S, B, F, E) 2 pts.

3. 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) 2 pts.