Universidad Abierta y a Distancia “UNAD”

CEAD: Palmira

Sustentación unidades 1 y 2

Nombre del Curso:

LOGICA MATEMATICA

Código del grupo:

90004_351

Presentado por:
ANGIE LORENA ORTEGA CERON

Escuela de Ciencias Agrícolas Pecuarias y del Medio Ambiente (ECAPMA)

Agronomía

Noviembre de 2018
 OBJETIVOS

Proporcionar herramientas que permitan elaborar determinar la validez deuna proposición.

Analizar cualquier fórmula hallando sus valores de verdad para saber si esun razonamiento
valido o no.

Representar los conjuntos en diafragma de ven realizando operacionesentre conjuntos

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

12 estudian Mandarín;

11 estudian inglés

11 portugués

6 estudian mandarín e inglés;

7 estudian Inglés y Portugués;

5 estudian mandarín y portugués

2 estudian los tres idiomas.

Total de estudiantes = 22

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

Cantidad = 6-2 =4

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

Cantidad = 5-2 = 3
Ejercicio 2: Métodos para probar la validez de un argumento

b. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

Premisas:

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: ¬r

Conclusión: r
 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.

p. Si estudio tendre buena nota

q. Si tengo buena nota
r. Paso el semestre

Si estudio tendre buena nota SI, ENTONCES si tengo buena nota Y si tengo buena nota
SI, ENTONCES paso el semestre Y NO paso el semestre SI ENTONCES si estudio
tendre buena nota

Conclusion: paso el semestre

 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 TRUTH,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)

Truth Table
p q r [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)

T T T T
T T F F
T F T F
T F F F
F T T T
F T F F
F F T T
F F F T

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
P q r [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)
V V V V V V V V V V V V V V V V

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

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

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

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

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

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

P1: 𝑝 → 𝑞

P2: 𝑞 → 𝑟

P3: ¬r

Conclusion : r

CONCLUSIONES

Durante el desarrollo del presente trabajo se evidencia que la matemática a través de la teoría
de conjuntos juega un papel clave en el estudio de la vida cotidiana, es decir q u e
nos permite representar y manipular el contexto real sobre el mundo que
n o s rodea.