UNIVERSIDAD NACIONAL ABIERTA A DISTANCIA SEDE JOSE ACEVEDO Y GOMEZ

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

LOGICA MATEMATICA

POR – OSMAN DANIEL SUAREZ CARRASQUILLA

GRUPO 90004_88

BOGOTA DC

6 DE OCTUBRE DE 2019
 INTRODUCCIÓN
Este trabajo se realiza para solucionar los ejercicios de conectivos lógicos y teoría de conjuntos,

esta actividad nos ayuda a profundizar los temas en mención gracias al desarrollo de la presente

actividad y al material de apoyo encontrado en el entorno de aprendizaje.

 OBJETIVO

- Desarrollar ejercicios y aprender sobre: Conectivos lógicos y teoría de conjuntos, lenguaje

natural y simbólico, valor de verdad y tablas de verdad, lógica de conjuntos.

 EJERCICIO 1: PROPOSICIONES
b) p: La película Los Vengadores End Game se estrenó en Colombia en el 2018
q: La película Los Vengadores End Game se pudo ver en cines de todo el país
r: Los Vengadores End Game tuvo un pobre éxito de taquilla
(𝑟↔𝑞)∨[(𝑞∧𝑝)→𝑟]

Proposición compuesta en lenguaje natural:

Los Vengadores End Game tuvo un pobre éxito de taquilla, SI Y SOLAMENTE SI La película
Los Vengadores End Game se pudo ver en cines de todo el país O La película Los Vengadores
End Game se pudo ver en cines de todo el país Y La película Los Vengadores End Game se estrenó
en Colombia en el 2018 ENTONCES Los Vengadores End Game tuvo un pobre éxito de taquilla.

Valor de verdad proposiciones simples:

p: V
q: V
r: F

Valor de verdad proposición compuesta:

(𝑟↔𝑞)∨[(𝑞∧𝑝)→𝑟]
(F↔V)∨[(V∧V)→F]
(F)∨(V)→F
V→F
F
 EJERCICIO 2: TABLAS DE VERDAD
b) El arcoíris se forma con muchos colores si y sólo si el agua de lluvia interactúa con los rayos
de luz solar o si el sol está detrás de las nubes entonces, el arcoíris no se forma con muchos
colores.

Proposiciones Simples:
p: El arcoíris se forma con muchos colores
q: El agua de lluvia interactúa con los rayos de luz solar
r: El sol está detrás de las nubes

Lenguaje Simbólico:
[(p↔q)∨r]→¬p

Tabla de la verdad:
p q r (p ↔ q) [(p ↔ q) ∨ r] ¬p [(p ↔ q) ∨ r] → ¬p
V V V V V F F
V V F V F F F
V F V F F F F
V F F F F F F
F V V F F V V
F V F F F V V
F F V F F V V
F F F F F V V

Resultado de la tabla de verdad: CONTINGENCIA

[(p↔q)∨r]→¬p
p q r [(p↔q)∨r]→¬p
V V V F
V V F F
V F V F
V F F F
F V V V
F V F V
F F V V
F F F V
 EJERCICIO 3: TEORÍA DE CONJUNTOS
Teniendo el siguiente diagrama de Venn-Euler:

Definición de los conjuntos:

U= Estudiantes de grado 11 del colegio Pepita Pombo que hablan un idioma extranjero
A= Estudiantes que hablan ingles
B= Estudiantes que hablan francés
C= Estudiantes que hablan alemán

Operación entre conjuntos (notación):

(A U C) – B

Expresión en palabras:
La selección del anterior diagrama de Venn-Euler, corresponde a estudiantes que hablan inglés y
alemán, pero no hablan francés.
 EJERCICIO 4: APLICACIÓN DE LA TEORÍA DE CONJUNTOS
A continuación, encontrará el diagrama de Venn-Euler requerido para desarrollar el ejercicio 4

DIAGRAMA DE VENN

OPERACIONES ENTRE CONJUNTOS

a) Ac ∩𝐵
b) (A-B) ∪ (B-A)
c) (B∪C)c
d) A ∪ B ∪ C

Definición de los conjuntos:

U= Estudiantes de grado 11 del colegio Pepita Pombo que hablan un idioma extranjero
A= Estudiantes que hablan ingles
B= Estudiantes que hablan francés
C= Estudiantes que hablan alemán
Planteamiento del ejercicio típico de teoría de conjuntos -Con los interrogantes y
respectivas respuestas:
Problema de teoría de conjuntos: Después de censar a los estudiantes del grado 11 del colegio
Pepita Pombo se evidencio que varios de ellos hablan algún idioma extranjero; a partir de estos
resultados dados en el diagrama de ven resuelva:
a) Operación: Ac ∩𝐵
Operación en palabras: Estudiantes que no hablan inglés y hablan francés
Respuesta: 1,16

b) Operación: (A-B) ∪ (B-A)

Operación en palabras: Estudiantes que hablan inglés menos estudiantes que hablan francés o
estudiantes que hablan francés menos estudiantes que hablan ingles
Respuesta: 0,4,1,16

c) Operación: (B∪C)c
Operación en palabras: Estudiantes que no hablan francés y hablan alemán
 Respuesta: 4,16

d) Operación: A ∪ B ∪ C
Operación en palabras: Estudiantes que hablan inglés y hablan francés y hablan alemán
Respuesta: 4
 CONCLUSIONES

Con el desarrollo de estos cuatro ejercicios logramos cumplir con la profundización en conectivos
lógicos y teoría de conjuntos, lenguaje natural y simbólico, valor de verdad y tablas de verdad,
lógica de conjuntos.
Aprendimos a usar herramientas prácticas como el simulador el simulador Truth Table expuesto
en uno de los videos del entorno de conocimiento así como la utilización de las tablas de verdad y
las definiciones de operaciones entre conjuntos.
 REFERENCIAS BIBLIOGRÁFICAS

- 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
- 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
- Amaya, H. (2016). Tablas de verdad colaborativo 2, [Video]. Recuperado de
http://hdl.handle.net/10596/6547
- 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&t
m=1489706134764
- Wagner, M. (2016). Lógica conjuntos 1, [Video]. Recuperado de
http://hdl.handle.net/10596/6558
- 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&t
m=1489708381971