UNIDAD 1 Y 2 – TAREA 3 – SUSTENTACIÓN UNIDADES 1 Y 2

PRESENTADO POR:
JHON EDINSON HOYOS NARVAEZ

GRUPO:
90004_315

TUTOR:
PAULA ANDREA MOSQUERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD_POPAYÀN
13 ABRIL 2019
 INTRODUCCIÓN

En esta unidad se desarrollarán las temáticas abarcadas en las unidades 1 y 2 del curso
lógica matemática para sustentación ante el tutor
Por lo tanto, en el siguiente trabajo encontrará la solución de los ejercicios propuestos en la
guía perteneciente a la tarea 3 de la unidad 1 y 2 aplicación de teoría de conjuntos y
métodos para probar la validez de argumentos.
 OBJETIVOS

Objetivo general
- Conocer los métodos utilizados de leyes de inferencia y aplicación de teoría de
conjuntos

Objetivos específicos
- Analizar cada uno de los temas a desarrollar
- Identificar cada de las leyes de inferencia y aplicación de teoría de conjuntos
EJERCICIO 1: APLICACIÓN DE LA TEORÍA DE CONJUNTOS

Se realizó una encuesta los estudiantes de Lógica Matemática, a acerca de sus preferencias
en el uso de las redes sociales y se obtuvieron los siguientes resultados:

 60 prefieren Facebook,
 25 prefieren twitter,
 10 prefieren Instagram,
 2 prefieren las tres redes sociales,
 10 prefieren Facebook y twitter,
 2 prefieren Facebook y Instagram
 4 prefieren twitter y Instagram,
 4 no tiene preferencia por ninguna red social

A partir de la situación planteada dar respuesta las siguientes preguntas:

A = Instagram

B= Facebook

C = Twitter

U = Redes Sociales
 ¿Cuántos estudiantes prefieren únicamente Instagram?
 A – (B U C) = 6
 ¿Cuántos estudiantes prefieren únicamente twitter?
 13 C – (A U B) = 13
 ¿Cuántos estudiantes prefieren Facebook y Instagram?
 (A U B) – C = 56
 ¿Cuántos estudiantes fueron encuestados?
 (A U B U C) = 81
EJERCICIO 2: MÉTODOS PARA PROBAR LA VALIDEZ DE UN ARGUMENTO

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,
ejemplo:
p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 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 = Pedro estudia los sábados en el CEAD Popayán

Q = prefiere estudiar en su casa
R = se concentra en sus actividades

P1 = Pedro no estudia los sábados en el CEAD Popayán los sábados entonces prefiere
estudiar en su casa
P2 = Prefiere estudiar en su casa entonces se concentra en sus actividades
P3 = no se concentra en sus actividades
 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 Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link
de acceso al recurso)

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).

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

P1: ~𝑝 → 𝑞
P2: 𝑞 → 𝑟
P3: ~𝒓 C: p
P4: ~𝑞 MTT p2,p3
P5: 𝑝 MTT p1,p4
 CONCLUSIONES

- Profundizamos algunos conceptos correspondientes a aplicación de teoría de

conjuntos y métodos para probar la validez de argumentos

- Realizamos la sustentación ante la tutora y se obtuvo un balance positivo frente a

los ejercicios planteados.
 REFERENCIA BIBLIOGRÁFICAS

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