Lógica Matemática

Unidad 1: Tarea 1 - Conectivos Lógicos y teoría de conjuntos

John Jairo Torres

Grupo: 90004A_614

Tutor

Diana Judith Méndez

Universidad Nacional Abierta y a Distancia UNAD

Programa Zootecnia
 Introducción

La lógica proposicional es una parte de la lógica clásica que estudia las variables
proposicionales, sus posibles implicaciones, los valores de verdad de las proposiciones o de
conjuntos de ellas formadas a partir de los conectores lógicos. De otro lado, la teoría de
conjuntos permite estudiar relaciones y propiedades entre diferentes colecciones de objetos
al compararlas entre sí de diversas maneras.
El estudio de la lógica y la teoría de conjuntos le permite al estudiante comprender la forma
como se construyen las propiedades, relaciones, resultados de las diversas ramas del
conocimiento en las que se aplica la matemática.
Este trabajo pretende dar solución a la guía propuesta por la unidad 1, en donde los conectivos
lógicos y la teoría de conjuntos deberán ser resueltos de manera adecuada mediante el análisis
y comprensión de cada una de las ayudas dadas por el tutor.
 Objetivos
Objetivo General:
 Identificar y estudiar los conceptos básicos de la lógica proposicional y la teoría de
conjuntos con el fin de verificar la verdad o falsedad de proposiciones elementales.
Objetivos Específicos:
 Establecer la verdad o falsedad de una proposición
 Realizar operaciones entre conjuntos
 Determinar el valor de las proposiciones simples
 Conocer el valor de verdad de una proposición compuesta
 Desarrollo del trabajo
Conectivos lógicos y teoría de conjuntos
Voy a desarrollar el ejercicio (b)

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 1:
a) 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
(𝑟 ↔ 𝑞) ∨ [(𝑞 ∧ 𝑝) → 𝑟]

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Escriba la proposición compuesta propuesta en lenguaje natural.

”Los Vengadores End Game tuvo un pobre éxito de taquilla si y solo si la película Los
Vengadores End Game se pudo ver en cines de todo el país”; o si ”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”.

Determinar el valor de verdad de las proposiciones simples.

p: La película Los Vengadores End Game se estrenó en Colombia en el 2018 (FALSO) se

estrenó en Colombia el 25 de abril de 2019

q: La película Los Vengadores End Game se pudo ver en cines de todo el país
(VERDADERO) se pudo observar en varias ciudades del país desde Cine Colombia y otras
empresas.

r: Los Vengadores End Game tuvo un pobre éxito de taquilla (FALSO) es la segunda película
más taquillera de la historia
  Determinar el valor de verdad de la proposición compuesta.

𝑝 𝑞 𝑟 (𝑟 ↔ 𝑞) (𝑞 ∧ 𝑝) [(𝑞 ∧ 𝑝) → 𝑟] (𝑟 ↔ 𝑞) ∨ [(𝑞 ∧ 𝑝) → 𝑟]

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

Es una Contingencia porque no es posible determinar el valor de verdad de la proposición

compuesta, dado que hay valores verdaderos y falsos en algunos casos.

Conectivos lógicos y teoría de conjuntos

Voy a desarrollar el ejercicio (b)

Descripción del ejercicio:

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

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.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.

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

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

Es una contingencia porque no es posible determinar el valor de verdad de la proposición

compuesta, dado que hay valores verdaderos y falsos en algunos casos.

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

𝑝 ~𝑝 𝑞 𝑟 (𝑞 ∨ 𝑟) 𝑝 ↔ (𝑞 ∨ 𝑟) [𝑝 ↔ (𝑞 ∨ 𝑟)] → ~𝑝
 V F V V V V F
V F V F V V F
V F F V V V F
V F F F F F V
F V V V V F V
F V V F V F V
F V F V V F V
F V F F F V V

Es una contingencia porque no es posible determinar el valor de verdad de la proposición

compuesta, dado que hay valores verdaderos y falsos en algunos casos.

Conectivos lógicos y teoría de conjuntos

Voy a desarrollar el ejercicio (b)

Descripción del ejercicio

A continuación, encontrará el diagrama de Venn-Euler requerido para el desarrollo del

ejercicio 3

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
La definición de los conjuntos debe ser de autoría de cada estudiante, por lo que de
encontrar conjuntos iguales entre estudiantes se considerara como copia y se
tomaran las medidas correctivas estipuladas por la UNAD.
U= Personas que practican un deporte en su tiempo libre
A= Personas que practican Voleibol
B= Personas que practican Fútbol
C= Personas que practican Baloncesto

 Determine la operación entre conjuntos, representada en el diagrama de venn

seleccionado (notación entre conjuntos).

𝐶−𝐵

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

Personas que practican Baloncesto, pero no practican Fútbol

 Realizar un vídeo donde explique la forma como fue desarrollada la tarea. La

realización del vídeo puede ser con la cámara del celular, cámara del pc u otra
alternativa que se le facilite. El estudiante debe aparecer en la grabación de frente y
mostrar a la cámara su documento de identificación, ocultando el número del mismo
(En la imagen se debe ver claramente el nombre y apellidos del estudiante).
Deberá subir el link del vídeo a youtube u otra plataforma de vídeos y pegar el enlace
debajo de la solución del ejercicio en el documento final a entregar. El vídeo no debe
superar los 3 minutos de duración.

Conectivos lógicos y teoría de conjuntos

Voy a desarrollar el ejercicio (b)

Descripción del ejercicio:

A continuación, encontrará el diagrama de Venn-Euler requerido para desarrollar el ejercicio

4

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.

U= Personas que les gusta un género musical determinado

A= Personas que les gusta el Rock
B= Personas que les gusta el Vallenato
C= Personas que les gusta la Salsa

 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:

 𝐴𝑐 ∩ 𝐵 = 17
¿A cuántas personas les gusta el Vallenato pero no les gusta ni el Rock ni la Salsa?

 (𝐴 − 𝐵) ∪ (𝐵 − 𝐴) = 21
¿A cuántas personas les gusta el Rock o el vallenato?

 (𝐵 ∪ 𝐶)𝑐 = 0
¿A cuántas personas les gusta solamente el Rock y no otro género?

 𝐴 ∪ 𝐵 ∪ 𝐶 = 40
¿A cuántas personas les gusta el Rock o el vallenato, o la salsa?

Link del video: https://www.youtube.com/watch?v=dvHMD3l4f1I&feature=youtu.be

 Conclusiones

El presente trabajo nos ha permitido apropiarnos y entender todo lo relacionado con

conectivos lógicos y teorías de conjuntos en donde podemos apreciar que mediante la lógica
proposicional podemos combinar enunciados o proposiciones verdaderas para producir otros
enunciados verdaderos; gracias a lo mencionado con anterioridad podemos estudiar las
propiedades y las relaciones de los conjuntos de una manera más elemental para la
formulación de cualquier teoría matemática.
 Bibliografía

 Vicente, P. Duarte, E. (2017) Lógica proposicional y teoría de conjuntos,

Departamento de Ciencias Matemáticas: Iniciación al Calculo, Universidad de
EAFIT
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp.
19-28)
 Rodríguez, H. (2017). Proposiciones y conectivos Lógicos (Valor de verdad
proposiciones compuestas
 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos.
(pp. 19-28)