1.

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 en
inglés, pero no portugués? ¿Cuántos estudian mandarín o
portugués, pero no inglés?

M=12 I=11
6

4
3 0
2
3 5

5 1 7

P=11

a. ¿Cuántos alumnos estudian solo inglés?

Rta: 0 ningún estudiante estudia solo ingles

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

Rta: 4

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

Rta: 3
 a. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)
b. Premisas:
c. P1: 𝑝 → 𝑞
d. P2: 𝑞 → 𝑟
e. P3: ¬𝑟
Conclusión: ¬𝒑

1. 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: Estudio ingeniería en la Unad

q: Debo ver el curso de lógica matemática
r: si hago los ejercicios gano el curso

2. Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si Estudio ingeniería en la Unad entonces Debo ver el curso de lógica

matemática, y Debo ver el curso de lógica matemática entonces La UNAD
exige el curso para poder graduar, y si no hago los ejercicios no gano el
curso, entonces no Estudio ingeniería en la Unad
 3. Generar una tabla de verdad con el simulador Truth Table a partir
del lenguaje simbólico

p q r [(p→q)Λ(q→r)Λ(¬r)]→(¬p)
T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

expression is a tautology

4. Generar una tabla de verdad manualmente a partir del lenguaje

simbólico

p q r p→ q ¬ ¬ (p→q)Λ(q [(p→q)Λ(q→r)Λ [(p→q)Λ(q→r)Λ(¬r)]

q →r r p →r) (¬r)] →(¬p)
V V V V V F F V F V
V V F V F V F F F V
V F V F V F F F F V
V F F F V V F F F V
F V V V V F V V F V
F V F V F V V F F V
F F V V V F V V F V
F F F V V V V V V V

5. Demostración de la validez del argumento mediante las leyes de la

inferencia lógica

Rta:

P1: p→q

P2: q→r

P3: ¬r
C: ¬p

1. p P
2. q P
3. r P
4. p→q (1), (2)
5. q→r (2), (3)
6. ¬r (3)
7. ¬p (1)

8. [(p→q)Λ(q→r)Λ(¬r)]→(¬p) (4), (5), (6), (7)