Tarea 3 – Sustentación Unidades 1 o 2
Mayo 2019
Universidad Nacional Abierta y a Distancia
Bogotá, D.C.
Lógica Matemática
INTRODUCCIÓN
En el presente documento se encuentra el desarrollo de la tarea 3 – Tarea 3 – Sustentación
Unidades 1 o 2, en donde se dio solución a ejercicios sobre Proposiciones simples y compuestas,
tablas de verdad, métodos de demostración, razonamientos lógicos, inferencia lógica,
argumentos lógicos y ejercicios de teoría de conjuntos.
OBJETIVOS
Identificar proposiciones compuestas en lenguaje simbólico en un argumento en
lenguaje natural
Realizar tablas de verdad manualmente y por medio del simulador a partir de una
proposición compuesta
Identificar las reglas de inferencia
Analizar la validez de un argumento lógico a partir del uso de tablas de verdad.
Identificar los conceptos de la teoría de conjuntos.
Ejercicio 1: Aplicación de la Teoría de Conjuntos
E. La UNAD requiere la vinculación de 29 tutores en las siguientes áreas: 13 tutores de Matemáticas,
13 Tutores de Física, y 15 tutores de Catedra Unadista. Para el cubrimiento de los cargos se requiere
que 6 tutores orienten Matemáticas y Física, 4 profesores orienten Física y Catedra Unadista y 5
tutores orienten Matemáticas y Catedra Unadista. 2 tutores deben estar en la capacidad de orientar los
tres cursos.
Determinar:
¿Cuántos tutores se requieren para que oriente Matemáticas únicamente?
¿Cuántos tutores se requieren para que orienten Matemáticas y Catedra Unadista, pero
no física?
¿Cuántos tutores se requieren para que oriente Física únicamente?
¿Cuántos tutores se requieren para que oriente Matemáticas o Física, pero no cátedra
unadista?
M F
4 5
4
2
3 2
8 C.U
U 1
U: 28
M: 13
F: 13
C.U: 15
M ∩ F: 6
F ∩ C.U: 4
M ∩ C.U: 5
M ∩ C.U ∩ F: 2
M: 16 – 4 – 2 – 3: 4
F: 13 – 4 – 2 – 2: 5
C.U: 15 – 3 – 2 – 2: 8
U: 29 – 28: 1
1. 4 tutores se requieren para que orienten matemáticas únicamente
2. 3 tutores se requieren para que orienten matemáticas y cátedra Unadista, pero no física.
3. 5 tutores se requieren para que orienten física únicamente
4. 13 tutores se requieren para que oriente matemáticas o física pero no catedra unadista
Ejercicio 2: Métodos para probar la validez de un argumento
E. Expresión simbólica:
[(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑
Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓
Conclusión: 𝑝
Desarrollo:
Premisas simples:
p: Andrea estudia en la Unad.
q: Andrea se propuso a ser responsable con sus tareas
r: Andrea será psicóloga
Razonamiento en lenguaje natural:
Si Andrea no estudia en la Unad, entonces Andrea se propuso a ser responsable con sus tareas.
Y Andrea se propuso a ser responsable con sus tareas, entonces Andrea será psicóloga. Y
Andrea no será psicóloga. Por tanto, Andrea estudia en la Unad.
Tabla de la verdad:
p q r ¬p ¬r (¬p → 𝑞) (q → r) (¬p → 𝑞) ∧ (q → r)
(¬p → 𝑞) ∧ (q → r) ∧ (¬r) [(~𝒑 → 𝒒) ∧ (𝒒 → 𝒓) ∧ (~𝒓)] → 𝒑
V V V F F V V V F V
V V F F V V F F F V
V F V F F V V V F V
V F F F V V V V V V
F V V V F V V V F V
F V F V V V F F F V
F F V V F F V F F V
F F F V V F V F F V
Tabla de verdad con el simulador Lógica UNAD:
Leyes de inferencia:
Premisas:
P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓
_____________________
P4: ~ q M. tollendo tollens (2) (3) q→r=~q
~𝒓
P5: p M. tollendo tollens (1) (4) ~𝑝 → 𝑞 = p Conclusión
~q
CONCLUSIONES
Se identificaron las proposiciones compuestas en lenguaje simbólico dando como
resultado un argumento en lenguaje natural.
Se realizó la tabla de verdad manual y la tabla de verdad con el simulador de la UNAD
a partir de una expresión simbólica.
Se identifican las leyes de inferencia y se les da una aplicación.
Se identifica la teoría de conjuntos y es ejecutada por medio de ejercicios realizados.
BIBLIOGRAFÍA
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -
Grupo Editorial Patria. (pp. 29-38)
Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial
Patria. (pp. 163-166)
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría
de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49)
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito
Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84).
Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]
Jairo Marin. [Jairo Marin]. (2019). [Simulador Truth]. Recuperado de:
[Link]
Wagner, M. (2016). Lógica conjuntos 1, [Video]
Gonzáles, T. L., & Saavedra, M. (2009). Teoría de Conjuntos. En ProQuest ebrary (Ed).
Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24).
