CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

JESUS HERNANDO RODRIGUEZ SUAREZ

GRUPO: 90004_300

JHORMAN ANDRES VILLANUEVA

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA

INGENIERÍA DE SISTEMAS

2019
 INTRODUCCION

En el presente trabajo damos solución a los ejercicios propuestos en la

unidad 1 Conectivos lógicos y teoría de conjuntos del curso de lógica
matemática, el cual nos permitirá aprender sobre el tema mediante el
análisis, la comprensión y profundización de las lecturas y videos
recomendados.
 OBJETIVOS

 GENERAL

Desarrollar los temas tratados en la unidad 1 Conectivos lógicos y teoría

de conjuntos, a través del desarrollo de los ejercicios propuestos.

 ESPECIFICOS
 Identificar los conceptos básicos desarrollados en la unidad.
 Dar solución a los ejercicios de proposiciones del lenguaje natura al
lenguaje simbólico.
 Realizar ejercicios para determinar el valor de verdad de cada uno
de los ejercicios.
 Elaborar de tablas de verdad y comprobarlas con el simulador Truth
Table.
 Tarea 1 – Conectivos Lógicos y Teoría de Conjuntos

Ejercicio 1 Proposiciones

p: El Papa Francisco vino a Colombia

q: El Papa Francisco estuvo en la Guajira
r: El Papa Francisco estuvo sólo un día en Colombia
[(𝑟↔𝑞)↔𝑝]→¬𝑟

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
• Escriba la proposición compuesta propuesta en lenguaje natural.
El Papa Francisco estuvo sólo un día en Colombia si y solo si El Papa
Francisco estuvo en la Guajira Si y solo si El Papa Francisco vino a
Colombia, Entonces El Papa Francisco no estuvo sólo un día en Colombia.
• Determinar el valor de verdad de las proposiciones simples.
p: V
q: F
r: F
• Determinar el valor de verdad de la proposición compuesta

[(𝑟↔𝑞)↔𝑝]→¬𝑟
[( 𝐹 ↔ 𝐹) ↔ 𝑉] → ¬𝐹
[(𝑉 ↔ 𝑉)] → 𝐹
[(𝑉)] → 𝐹
𝐹
Ejercicio 2 Tablas de verdad

Empresas estadounidenses no pueden negociar con empresas chinas o

Google es una empresa estadounidense y Si Huawei es una empresa china
entonces no tiene Android de Google.

A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
1. Definir las proposiciones simples del argumento.

~ P: Empresas estadounidenses no pueden negociar con empresas chinas

q: Google es una empresa estadounidense
r: Huawei es una empresa china
~r: Huawei no tiene Android de google.

2. 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
 • 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 ~𝑝 ~𝑝 𝑉 𝑞 [(~𝑝 𝑉 𝑞)] ˄ 𝑟

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

La tabla de verdad a partir del lenguaje simbólico el resultado es

CONTINGENCIA
Ejercicio 3 Teoría de conjuntos

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

deberá dar respuesta a los siguientes ítems:

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

U= Estudiantes de la UNAD
A= Estudiantes que practican Danza
B= Estudiantes que practican música
C= Estudiantes que practican teatro

2. Determine la operación entre conjuntos, representada en el

diagrama de venn seleccionado (notación entre conjuntos).
La operación entre conjuntos representada en el diagrama de venn es
𝑨 ∩ 𝑩. (Intersección)

Ejemplo:
Siendo los conjuntos:
A: {1,2,3,4}
B: {2,3,5,6}
C: {3,4,6,7}
Como ejemplos tendríamos algunas de las siguientes operaciones entre
conjuntos:

𝐴 ∪ 𝐵: {1,2,3,4,5,6}
𝐴 ∪ 𝐶: {1,2,3,4,6,7}
𝐵 ∪ 𝐶: {2,3,4,5,6,7}
𝐴 ∩ 𝐶: {3,4}
𝐴 ∩ 𝐵: {2,3}
𝐵 ∩ 𝐶: {3,6}
𝐵 ∩ 𝐴: {2,3}

3. Exprese la notación del diagrama de venn seleccionado en palabras.

La notación significa los estudiantes que practican tanto danza

como música.
• Vídeo explicativo del desarrollo de la actividad.
Enlace
https://youtu.be/ki3xsP03r6Y

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 UNAD
A= Estudiantes que practican música
B= Estudiantes que practican danza
C= Estudiantes que practican teatro
• 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 dados a continuación y dar las respectivas respuestas:
 𝐴𝑐∩𝐵

A: (2, 8,12) Estudiantes que practican música

B: (2, 9, 12,16) Estudiantes que practican danza
𝐴c∩𝐵: (16,9
= 16+9
=25

 (𝐴−𝐵)∪(𝐵−𝐴)

A: (2, 8,12)
B: (2, 9, 12,16)
𝐴−𝐵: (8)
B−A: (9,16)
(𝐴−𝐵)∪ (𝐵−𝐴): (8, 9,16)
= 8+9+16
= 33

 (𝐵∪𝐶)𝑐

B: (2, 9, 12,16)
C: (2, 16,22)
(𝐵∪𝐶)𝑐 = (2, 9, 12, 16,22) c= 7
  𝐴∪𝐵∪𝐶

A: (2, 8,12)
B: (2, 9, 12,16)
C: (2, 16,22)
𝐴∪𝐵: (2, 8, 9, 12,16)
𝐵∪𝐶: (2,9, 12, 16, 22)
𝐴∪𝐵∪𝐶= (2, 8, 9, 12, 16,22)
= 69
 CONCLUCIONES

Con el desarrollo de los ejercicios propuestos en las actividades

desarrolladas logramos cumplir con los objetivos propuestos en esta
unidad del curso de lógica matemática, a través de la resolución de los
ejercicios aprendimos a analizar e interpretar diferentes tipos de
problemas desde la lógica matemática. Logramos fortalecer y aprender
conceptos básicos y prácticos de la unidad de estudio.
 BIBLIOGRAFIA

 Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp.

2-6). México, D.F.: Grupo Editorial Patria. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=13&docID=3227286&tm=1531172313538
 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
 Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado
de http://hdl.handle.net/10596/6558
 Rodríguez, H. (2017). Proposiciones y conectivos Lógicos
(Valor de verdad proposiciones compuestas). [Archivo de
video]. Recuperado de http://hdl.handle.net/10596/11489
 Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a
las matemáticas universitarias. México: McGraw-Hill
Interamericana. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.
action?ppg=1&docID=10473069&tm=1491855437624