LÓGICA MATEMÁTICA

TAREA 1 CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS.

Entregado por:

ANDRES FELIPE RAPALINO GUERRERO

C.C. 1.096.202.125

Grupo: 90004_554

Tutora

Angélica Cabra

UNIVERSIDAD ABIERTA Y A DISTANCIA –UNAD

BARRANCABERMEJA
2019
 INTRODUCCIÓN

En el presente trabajo profundizamos en la unidad 1 principios de lógica del módulo de

lógica matemática, pondremos en práctica de las proposiciones compuestas en lenguaje
natural y su valor de verdad, como también las tablas de verdad la cual muestra el valor de
verdad de una proposición compuesta para cada combinación que se pueda asignar, de igual
manera estudiamos las teorías entre conjuntos y principios de lógica, la importancia de
aprender el uso del simulador. Donde nos formaremos en la comprensión de las
definiciones de la lógica, 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 la temática de preposiciones tablas de verdad, conjuntos y sus

operaciones

• Representar las proposiciones en lenguaje natural y lenguaje simbólico, hallando

sus valores de verdad.

• Hallar el valor de verdad de las proposiciones medias la tabla de verdad y el

simulador.

• Aplicar los conocimientos adquiridos respecto a los conjuntos para poder desarrollar
cada problema y representar gráficamente.
 CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

Ejercicio 1: Proposiciones

Descripción del ejercicio:

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

a) p: La multiplicación es conmutativa
q: La suma es conmutativa
r: La resta es conmutativa
[(𝑝 → 𝑟) ∨ ¬𝑟] ↔ (𝑞 ∧ ¬𝑝)

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

(p→r) ∨¬r: Si la multiplicación es conmutativa entonces la resta es conmutativa o la resta no

es conmutativa

(q∧¬p): Si la suma es conmutativa y la multiplicación no es conmutativa

[(p→r) ∨¬r]↔(q∧¬p): Si la multiplicación es conmutativa entonces la resta es conmutativa

o la resta no es conmutativa si y solo si la suma es conmutativa y la multiplicación no es
conmutativa.

 Determinar el valor de verdad de las proposiciones simples.

p: V
q: V
r: F

 Determinar el valor de verdad de la proposición compuesta.

[(p→r) ∨¬r]↔(q∧¬p):
FvV↔V∧F
V↔F
F
Ejercicio 2: Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
a) Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al
concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de
Fernando
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Definir las proposiciones simples del argumento.

p: el vehículo de Gabriela necesita mantenimiento

q: lo lleva al concesionario

r: lo lleva al taller de Fernando

 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 ¬q r p→q ¬q → r ( p → q ) ∨ ( ¬q → r )

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

Contingencia: ya que tenemos falsos y verdaderos.

 Ejercicio 3: Teoría de conjuntos

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

ejercicio 3

a)

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

U= {empleados de la empresa "RAMPINT"}

A= {empleados con estudios profesionales}
B= {empleados casados}
C= {empleados originarios de Barrancabermeja}
• Determine la operación entre conjuntos, representada en el diagrama de venn
seleccionado (notación entre conjuntos).

A-B-C=A/B/C

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

 La selección en el diagrama de Venn, corresponde a los empleados de la empresa
RAMPINT con estudios profesionales pero que no están casados y no son originarios de
Barrancabermeja.

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

Enlace:

http://youtu.be/ye6EznG_KaQ?hd=1

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

Descripción del ejercicio:

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

4

a) :
 Definir los nombres de los conjuntos del diagrama de venn.
U= {empleados de la empresa "RAMPINT"}
A= {empleados con estudios profesionales}
B= {empleados casados}
C= {empleados originarios de Barrancabermeja}

 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:
 𝐴𝑐 ∩ 𝐵

Operación en palabras: Los empleados de la empresa que no tienen estudios

profesionales y son casados.

 (𝐴 − 𝐵 ) ∪ (𝐵 − 𝐴 )

Operación en palabras: Los empleados de la empresa que solo son profesionales

y no están casados o los empleados que son casados, pero no son profesionales.

 (𝐵 ∪ 𝐶 )𝑐

Operación en palabras: Los empleados de la empresa que no son casados u

originarios de Barrancabermeja.

 𝐴∪𝐵∪𝐶

Operación en palabras: empleados de la empresa con estudios profesionales o son

casados u originarios de Barrancabermeja.
 CONCLUSIONES

 El desarrollo de esta actividad permitió que como estudiante afiancemos nuestros

conocimientos de igual manera colocar en práctica lo aprendido, las proposiciones
simples y compuestas, la forma en que se pueden formar las proposiciones usando
conectivos lógicos, representar enunciados por medio de simbología lógica, poder llevar
a cabo la elaboración de tablas de verdad de proposiciones simbólicas, a realizar
interpretaciones o deducciones correctas, así como a asumir actitudes críticas ante
determinadas situaciones.

 Me permitió conocer más a fondo los conceptos fundamentales en la teoría y la

representación de conjuntos y diagramas de ven.
 REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. : Larousse -

Grupo Editorial Patria. Páginas 19 - 29. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docI
D=11013570&tm=1492518308189

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. : Larousse -

Grupo Editorial Patria. Páginas 19 - 29. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docI
D=11013570&tm=1492518308189

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación
media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docI
D=10345286&tm=1492518671601

Sánchez, H. R. (2014). Álgebra. México, D.F., MX: Larousse - Grupo Editorial Patria.
Páginas 2- 30. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docI
D=11046169&tm=1492518830144

Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima. Córdoba,

AR: El Cid Editor. Páginas 24 – 34. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docI
D=10075782&tm=1492518991513

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

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