Pensamiento lógico matemático

Tarea 4 - sustentación tarea 1,2 o 3

Estudiante: Jesus Eduardo Remolina Ovallos

Tutor: David Rodrigo Olivares

Universidad Nacional Abierta y a Distancia

20/11/2019
Ejercicio 1: Aplicación de la Teoría de Conjuntos

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

 ¿Cuántos comieron pollo y carne vacuna?

 ¿Cuántas comieron solo pollo y carne vacuna?
 ¿Cuántos comieron sólo carne vacuna?
 ¿Cuántas no comieron ninguna de las tres cosas?
 ¿Cuántas comieron una sola cosa? ¿Cuántas comieron solo dos
cosas?
 34 personas comieron pollo y carne vacuna.

 25 personas comieron solo pollo y carne vacuna.

 14 personas comieron solo carne vacuna.

 14 personas no comieron ninguna de las carnes.

 54 personas comieron una sola cosa.

 54 personas comieron solo dos cosas.

Ejercicio 2

Expresión simbólica:

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

Determinación de Premisas:
P1: 𝒑 → 𝒒
P2: 𝒒 → 𝒓
P3: 𝒑 ∨ 𝒒

Conclusión: 𝒓

Desarrollo:

 Proposiciones simples:

p: Eduardo estudia en la UNAD

q: trabaja para pagar sus estudios

r: desea terminar su carrera

 Razonamiento en lenguaje natural:

Eduardo estudia en la UNAD entonces trabaja para pagar sus estudios y trabaja
para pagar sus estudios si desea terminar su carrera y Eduardo estudia en la
UNAD o trabaja para pagar sus estudios si desea terminar su carrera.
  Generar la tabla de verdad manualmente:
p q r (𝑝 → 𝑞) (𝑞 → 𝑟) (𝑝 ∨ 𝑞) [(𝑝 → 𝑞)˄(𝑞 → 𝑟)˄(𝑝 ∨ 𝑞)] → 𝑟

V V V V V v V
V V F V F V V
V F V F V V V
V F F F V V V
F V V V V V V
F V F V F V V
F F V V V F V
F F F V V 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: 𝒒 → 𝒓
P3: 𝒑 ∨ 𝒒
P4: p→ 𝒓 SH 1,2
P5. r SD 2,3,4

Conclusión: 𝒓