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:

http://logicaunad.com/jtruth/

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