LÓGICA MATEMÁTICA

Tarea 1: Conectivos lógicos y teoría de conjuntos

Presentado a:

Elkin Barreiro

Tutor

Entregado por:

Angie Xiomara Tejada Molano

Grupo: 90004_629

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
26/02/19
La Plata – Huila
 INTRODUCCIÓN

El siguiente trabajo colaborativo pretende dar solución a los ejercicios propuestos

en la unidad 1 – Conectivas lógicos y teoría de conjuntos del curso de lógica
matemática, donde todos los estudiantes deberán participar activa y
colaborativamente. De otra parte nos permite aprender sobre el tema mediante el
análisis, la comprensión e interiorización de las lecturas y videos recomendados por
nuestro tutor.
 OBJETIVOS

GENERAL

Aprender temas tratados en la unidad 1 Conectivos lógicos y teoría de conjuntos, a

través del desarrollo de algunos ejercicios.

ESPECIFICOS

 Identificar conceptos básicos de la unidad.

 Resolver ejercicios de proposiciones del lenguaje natura al lenguaje
simbólico y viceversa.
 Realizar ejercicios para determinar el valor de verdad.
 Realización de tablas de verdad y comprobarlas con el simulador Truth Table.
 Solucionar ejercicios de lógica de conjuntos.
 DESARROLLO DE LA ACTIVIVDAD

La tarea de esta unidad se compone de una serie de ejercicios que se describen a

continuación:

Ejercicio 1: Proposiciones

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
 Escriba la proposición compuesta propuesta en lenguaje natural.
 Determinar el valor de verdad de las proposiciones simples.
 Determinar el valor de verdad de la proposición compuesta.

B) p: la suma de los números naturales es conmutativa

q: sumar 3+4 es igual a 7
r: sumar 4+3 es igual a 7
(𝑞 ∧ 𝑟) → 𝑝

Solución:

 Proposición en lenguaje natural:

Sumar 3+4 es igual a 7 y sumar 4+3 es igual a 7, entonces la suma de los números
naturales es conmutativa.

 Valor de la verdad proposiciones simples:

P: V
q: V
r: V
 Valor de la verdad proposiciones compuestas:

(q ∧ r) → p
(v ∧ v) → ( v→v)
(v) → ( v)
v
 Respuesta: El valor de la verdad para la proposición (q∧r) →p es verdadero.

Ejercicio 2: Tablas de verdad

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

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

B) Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee

una buena comprensión lectora y buena ortografía.
Solución:
 Proposiciones simples:
𝑝: Aprender matemáticas desarrolla el razonamiento lógico.
𝑞: se posee una buena comprensión lectora.
𝑟: se posee buena ortografía.

 Lenguaje simbólico
𝑝 ↔ (𝑞 ∧ 𝑟)
  Tablas de verdad:

 Tabla de verdad manual:

𝑝 𝑞 𝑟 𝑞∧𝑟 𝑝 ↔ (𝑞 ∧ 𝑟)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F V
F F V F V
F F F F V

Observamos que se trata de una contingencia.

Ejercicio 3: Teoría de conjuntos

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.
 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.
 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.
B)
Solución:

 Nombre de los conjuntos de los diagramas de veen:

U= Personas que beben refrescos

A= Personas que beben refresco de guanábana

B= Personas que beben refresco de naranja

C= Personas que beben refresco de tamarindo

NOTACION:

Guanábana Naranja (A Ʊ B)B Ω B

Tamarindo

U = Sabores de refrescos

 Operación entre conjuntos:

(A Ʊ B)B Ω B

 Expresión en palabras: la región sombreada representa el conjunto de

personas que beben refrescos con sabor a tamarindo pero no beben
refrescos con sabor a guanábana y tampoco refrescos con sabor a naranja.
 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:

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
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.
 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:
 𝐴 ∪ 𝐵= A unión B
 𝐴 ∆ 𝐶 = A diferencia simétrica de B
 (𝐵 ∩ 𝐶) − 𝐴= B intersección C menos A
 𝐴 ∩ 𝐵 ∩ 𝐶= A intersección B Intersección C

Solución:

B)
  Nombre de los conjuntos de los diagramas de venn.

 U= Canales de television
 A= canal A
 B= Canal B
 C= Canal C

 Ejercicio teoría de conjuntos:

Al realizar una encuesta a 57 amas de casa sobre su preferencia por los canales de
televisión A, B y c, los resultados son:

15 ven el canal A
1 ve el canal B
11 ven el canal C
14 ven los canales A y C
18 ven los canales A y B
10 ven los canales B y C
6 ven los tres canales
 ¿Cuántas amas de casa ven el canal A y B?
A {15+12+6+8}= 41
B {12+6+4+1}= 23
A+B= {41+23}= 64
A+B= 64

RTA: Las amas de casa que ven los canales A y B son 64.
  ¿Cuántas amas de casa ven el canal A o B?
A {15+8}= 23
B {1+4}= 5
A Δ B= {23+5}= 28
A Δ B= 28

RTA: Las amas de casa que ven los canales A o B son 64.

 ¿Cuántas amas de casa ven los canales B y C menos el canal A?

B {4}
C {11}
A {6}
(B Ω C) - A= {4+11-6}= 4
(B Ω C) - A= 4

 RTA: Las amas de casa que ven los canales B y C menos es canal
A son 4.
 CONCLUSIONES
 La lógica matemática nos ayuda a desarrollar los procesos de
pensamiento encontrando sentido a lo que normalmente
realizamos. Muchas veces utilizamos en nuestros razonamientos
oraciones y frases que suelen estudiarse en esta materia. Las
inferencias lógicas también cotidianas y las hacemos sin darnos
cuenta.
 La utilización de la lógica tiene sus ventajas y desventajas, y por lo
tanto hay que conocerlas y analizarlas.
 La lógica ofrece métodos que enseñan cómo elaborar proposiciones,
evaluar su valor de verdad y determinar si las conclusiones se han
deducido correctamente a partir de proposiciones supuestas.
 La proposición es el elemento esencial de la lógica para la
matemática.
 Un argumento lógico es un razonamiento que parte de una serie de
enunciados llamados premisas se puede llegar a un resultado
llamado conclusión.
.