Ejercicio 1: Aplicación de la Teoría de Conjuntos

E. En una fiesta a la que asistieron 131 invitados, una persona que estaba aburrida observó que de
los 79 invitados que comieron pollo, 28 comieron solamente pollo. Entre las 60 personas que
comieron carne vacuna, hubo 21 invitados que también comieron pescado. De los 50 que
comieron pescado, 12 comieron sólo pescado. Por alguna razón, 9 comieron las tres cosas.

De acuerdo con la información suministrada, responder:

- Solución de incógnitas:

• ¿Cuántos comieron pollo y carne vacuna?

R/ Fueron 25+9 que es la intersección entre los conjuntos Po y Ca que el resultado de este es 34
que son las personas que comieron pollo y carne vacuna.

• ¿Cuántas comieron solo pollo y carne vacuna?

R/ Fueron 25 que es la unión que hay entre el conjunto Po y Ca que son los que solo comieron
pollo y carne vacuna.

• ¿Cuántos comieron sólo carne vacuna?

R/ Fueron 14 los que solo comieron carne.

• ¿Cuántas no comieron ninguna de las tres cosas?

R/ Fueron 14 los invitados que no comieron ninguna de las tres cosas.

• ¿Cuántas comieron una sola cosa?

R/ Fueron 28+14+12 de los conjuntos Po, Ca y Pe que comieron una sola cosa y el resultado es 54.
• ¿Cuántas comieron solo dos cosas?

R/ Fueron 25 de la unión de los conjuntos Po y Ca, 17 de la unión del conjunto Po y Ca, y por
ultimo 12 de la unión de conjunto Ca y Pe. El resultado es 54 que son los invitados que comieron
solo dos cosas.
Ejercicio 2: Métodos para probar la validez de un argumento

E. Expresión simbólica:

[(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → 𝑟

Premisas:

P1: 𝒑 → 𝒒

P2: 𝒒 → 𝒓

P3: 𝒑 ∨ 𝒒

Conclusión: 𝒓

Desarrollo:

 Proposiciones simples:

p: Ir en motocicleta

q: Aumentar la velocidad

r: llegar temprano a la universidad

 Razonamiento en lenguaje natural:

Si voy en la motocicleta entonces aumento la velocidad. Si aumento la velocidad entonces llego

temprano a la universidad. Voy en la motocicleta o llego temprano a la universidad. Entonces llego
temprano a la universidad.

 Generar la tabla de verdad manualmente:

P q r 𝑝→𝑞 𝑞→r 𝑝∨q r [(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → r

V V V V V V V V
V V F V V V F V
V F V F F V V V
V F F F F V F V
F V V V V V V V
F V F V V V F V
F F V V V F V V
F F F V V F F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Generar la tabla de verdad con el simulador Lógica UNAD

Leyes de inferencia:

P1: 𝒑 → 𝒒

P2: 𝒒 → 𝒓 Validez de argumento

P3: 𝒑 ∨ 𝒒

Conclusión: 𝒓

Premisa 1: 𝒑 → 𝒒

Premisa 2: 𝒒 → 𝒓

Conclusión: 𝒑 → 𝒓 Premisa 4 Silogismo Hipotético (SH) 1-2

Premisa 1: 𝒑 ∨ 𝒒
Premisa 2: 𝒑 → 𝒓 1,3,4

Premisa 3: 𝒒 → 𝒓

Conclusión: 𝒓 Simplificación disyuntiva (SD) 1,3,4

Premisa 1: 𝒑 → 𝒒

Premisa 2: 𝒒 → 𝒓
Premisa 3: 𝒑 ∨ 𝒒
Conclusión: 𝒓
Premisa 4: 𝒑 → 𝒓 Silogismo Hipotético (SH3 1-2)

Premisa 5: 𝒓 Simplificación distintiva (SD) 1,3,4

Conclusión: 𝒓 El argumento es valido.