UNIDAD 1: TAREA 1 - CONECTIVOS LÓGICOS Y TEORÍA DE

CONJUNTOS.

PRESENTADO POR: GICCELL CAROLINA HERNANDEZ

GRUPO: 90004_ 961

TUTOR: EDGAR MAURICIO ALBA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

SARAVENA –ARAUCA 27 DE MARZODEL2019
 Introducción

Con el desarrollo del presente trabajo estudiaremos la Teoría entre

conjuntos y Principios de Lógica, donde nos formaremos en la

comprensión de las definiciones de la lógica formal; uso de conectores

lógicos y las leyes de las proposiciones, las cuales nos darán las bases

para formalizar nuestros conocimientos; todas estas herramientas nos

ayudarán a desempeñarnos en nuestro campo profesional.

 Objetivos.

Desarrollar las temáticas de proposiciones, tablas de verdad, conjuntos

y sus operaciones
Específicos

 Utilizar estrategias basadas en problemas

 Interactuar con los diferentes compañeros
 Adquirir herramientas útiles para nuestra vida profesional
  Desarrollo de los 4 ejercicios seleccionados.

Ejercicio 1: Proposiciones

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del

ejercicio

a) p: Juan Manuel Santos gano el premio nobel de literatura

q: Gabo gano el premio nobel de literatura
r: Tres colombianos han ganado premio nobel
(𝑝 ∨ 𝑞) → (𝑞 ∧ ¬𝑟)

Proposición compuesta en lenguaje natural:

Juan Manuel Santos gano el premio nobel de literatura o Gabo

ganó el premio nobel de literatura entonces Gabo ganó el premio
nobel de literatura y Tres colombianos no han ganado premio
nobel

Valor de verdad proposiciones simples

p:F
q:V
r:V
Valor de verdad proposición compuesta:

(𝑝 ∨ 𝑞) → (𝑞 ∧ ¬𝑟)

(𝑭 ∨ 𝑉 ) → (𝑽 ∧ 𝐹)
(𝑽) → (𝑭)
𝐹

Ejercicio 2: Tablas de verdad

Descripción del ejercicio:

 b) Aprender matemáticas desarrolla el razonamiento lógico si y solo si
se posee una buena comprensión lectora y buena ortografía.

 Definir las proposiciones simples del argumento.

p: Aprender matemáticas desarrolla el razonamiento logico

q: se posee una buena comprensión lectora

r: buena ortografía

 Definir la expresión del argumento en lenguaje simbólico o formal.

(𝒑 ↔ 𝒒) ∧ 𝑟

 Generar una tabla de verdad con el simulador Lógica UNAD 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 y determinar si el resultado es una tautología,
contingencia o contradicción.

p q r 𝑝 ↔ 𝑞 (𝑝 ↔ 𝑞) ∧ 𝑟

V V V V V

V V F V F

V F V F F

V F F F F

F V V F F

F V F F F

F F V V V
F F F V F

Es una contradicción
Ejercicio 3: Teoría de conjuntos

Teniendo el diagrama de venn de la letra seleccionada, el estudiante

deberá dar respuesta a los siguientes ítems:

 Defina los nombres de los conjuntos del diagrama de venn.

Por ejemplo:
U= Estudiantes de la ECBTI
A= Estudiantes Matriculados en Cálculo Integral
B= Estudiantes Matriculados en Lógica Matemática
C= Estudiantes Matriculados en Álgebra Trigonometría y Geometría
Analítica
 Determine la operación entre conjuntos, representada en el
diagrama de venn seleccionado (notación entre conjuntos).

La operación es

𝐴𝑈𝐵
Estudiantes de ECBTI Matriculados en calculo integral y Estudiantes
Matriculados en Lógica Matemática

Link del video

https://www.youtube.com/watch?v=Py_8Fdsq2ZA&feature=youtu.be

Ejercicio 4: Aplicación de la Teoría de Conjuntos

A partir del diagrama de Venn-Euler que el estudiante haya seleccionado,

el estudiante deberá:

 Definir los nombres de los conjuntos del diagrama de venn.

 Por ejemplo:
U= Estudiantes de la ECBTI
A= Estudiantes Matriculados en Cálculo Integral
B= Estudiantes Matriculados en Lógica Matemática
C= Estudiantes Matriculados en Álgebra Trigonometría y Geometría
Analítica
 Con los datos dados en el diagrama de ven escogido, plantee con
sus propias palabras, un ejercicio típico de aplicación de teoría de
conjuntos, formulando los interrogantes correspondientes a las
operaciones entre conjuntos dadas a continuación y dar las
respectivas respuestas:
 𝐴∪𝐵
 𝐴∆𝐶
 (𝐵 ∩ 𝐶) − 𝐴
 𝐴∩𝐵∩𝐶

 U=personas de la ciudad x

 A=personas que usan el metro

 B=personas que usan autobús

 C=personas que usan bicicleta

 1)A U B, es una unión por lo que se toma cualquier cosa que

pertenezca a alguno de los conjuntos,

 15,8,6,12,4,1. Personas que usan el metro o usan el

autobús
  2)AΔC, diferencia simétrica consiste en tomar aquellos
elementos que pertenecen a A pero no a C y viceversa, que
pertenezcan a C pero no a A. Dicho de otra manera es decir
AUC-A∩C, ya que estas tomando la unión de los dos
conjuntos y quitándoles el lugar que pertenece a ambos,
15,12,11,4. La frase sería algo como Personas que usan solo
el metro o solo la bicicleta

 3)(B ∩ C) - A, intersección entre ambos y eso le quitas lo

que pertenezca a A de esa solución. La intersección entre B
y C es 6 y 4 y quitándole lo que pertenece a A, queda el 6.
Personas que usan el autobús y la bicicleta pero que no usan
el metro

 4)A ∩ B ∩ C . Intersección de los tres conjuntos, se toman

los elementos que pertenecen a los tres a la vez, 6.
Personas que usan el autobús, el metro y la bicicleta

Conclusiones

 Se Desarrollaron las temáticas de proposiciones, tablas de verdad,

conjuntos y sus operaciones Utilizamos estrategias basadas en
problemas
 Se Interactuó con los diferentes compañeros
  Se Adquirieron herramientas útiles para nuestra vida profesional

Referencias

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos,
complementos. (pp. 19-28). Madrid, España: Editorial Tébar
Flores. Recuperado
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg
=20&docID=3226457&tm=1529246259924

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse -

Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg
=15&docID=11046169&tm=1489706134764

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). Bogotá, Colombia: Educar Editores S.A. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg
=21&docID=10345286&tm=1489708381971

Wagner, M. (2016). Lógica Proposiciones 1, [Video]. Recuperado de

http://hdl.handle.net/10596/6542

Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de

http://hdl.handle.net/10596/6547