Descripción del ejercicio:

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.
• ¿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?
Representar la información dada en un diagrama de Venn Euler Solucionar los
interrogantes planteados.
• ¿Cuántos comieron pollo y carne vacuna? RTA/ 34
• ¿Cuántas comieron solo pollo y carne vacuna? RTA/ 25
• ¿Cuántos comieron sólo carne vacuna? RTA/ 14
• ¿Cuántas no comieron ninguna de las tres cosas? RTA/ 14
• ¿Cuántas comieron una sola cosa? RTA/ 54
• ¿Cuántas comieron solo dos cosas? RTA/ 54

Ejercicio 2: Métodos para probar la validez de un argumento

e. Expresión simbólica: [(𝑝 → 𝑞) ˄ (𝑞 → 𝑟) ˄ (𝑝 ∨ 𝑞)] → 𝑟

Premisas: P1: 𝑝 → 𝑞 P2: 𝑞 → 𝑟 P3: 𝑝 ∨ 𝑞

Conclusión: 𝑟
A partir de la expresión simbólica seleccionada, el estudiante deberá: • Definir las
proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en un
contexto, el que se solicita es un contexto académico, ejemplo:
p: Carlos estudia en la UNAD
q: La UNAD es una Universidad Pública

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
• Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica
UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Argumento
Si Karla toma clases de pensamiento matemático entonces Karla estudia licenciatura en
matemáticas. Si Karla estudia licenciatura en matemáticas entonces está en la universidad.
Karla toma clases de pensamiento matemático o Karla estudia licenciatura en matemáticas.
En conclusión Karla está en la universidad.

Proposiciones
p: Karla toma clases de pensamiento matemático
q: Karla estudia licenciatura en matemáticas
r: Karla está en la universidad.

Premisas
P1; Si Karla toma clases de pensamiento matemático entonces estudia licenciatura en
matemáticas
P2: Si Karla estudia licenciatura en matemáticas entonces está en la universidad
P3: Karla toma clases de pensamiento matemático o Karla estudia licenciatura en
matemáticas
C: Karla está en la Universidad
P1: p q
P2: q r
P3: p v q
C: r
Tabla de verdad

Tabla de verdad, por lo tanto es verdadero.

Demostración de la validez mediante las reglas de la inferencia

P1: p q P1: p q
P2: q r P2: q r
P3: p v q P3: (p v q)
C: r P4: p r (Silogismo hipotético en P1 y P2)
P5: (p v q) r (Disyunción de casos en P4 y P2)
C: r (Modus ponnens en P5 y P3)