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

B. En un diplomado de idiomas compuesto por 22 alumnos; 12

estudian mandarín; 11 estudian inglés y 11 portugués, 6 estudian
mandarín e inglés; 7 estudian inglés y portugués; 5 estudian
mandarín y portugués y 2 estudian los tres idiomas. ¿Cuántos
alumnos estudian sólo inglés? ¿Cuántos estudian mandarín e
inglés, pero no portugués? ¿Cuántos estudian mandarín o
portugués, pero no inglés?

 Representar la información dada en un diagrama de Venn Euler

3
4
I P
2

1
0
5

4
  Solucionar los interrogantes planteados.

¿Cuántos alumnos estudian sólo inglés?

R/:0 I-(PuM)

¿Cuántos estudian mandarín e inglés, pero no portugués?

R/:4 (InM)-p

¿Cuántos estudian mandarín o portugués, pero no inglés?

R/:7 (MuP)-I

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

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

P: soy estudiante de la UNAD

q: estudio ingeniería industrial
r: mañana voy a clase
Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)
Soy estudiante de la UNAD entonces estudio ingeniería industrial y estudio ingeniería
industrial entonces mañana voy a clase y mañana no voy a clases entonces no soy
estudiante de la UNAD.

Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje

simbólico (En Word, Excel o foto del desarrollo manual).
 p q r ¬r ¬p (p→q) (q→r) (p→q)˄(q→r) [(p→q)˄(q→r)˄(¬r)] [(p→q)˄(q→r)˄(¬r)]˄(¬p)
V V V F F V V V F V
V V F V F V F F F V
V F V F F F V F F V
V F F V F F V F F V
F V V F V V V V F V
F V F V V V F F F V
F F V F V V V V F V
F F F V V V V V V V
Tautología

 Demostración de la validez del argumento mediante las leyes de la

inferencia lógica
 Premisas:
 P1: 𝑝 → 𝑞
 P2: 𝑞 → 𝑟
 P3: ¬𝑟

 Conclusión: ¬𝒑

 P4: p→r SH A(1 Y 2 )

 P5: ¬p MTT A (3 Y 4) CONCLUSION