UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

CEAD Barranquilla

CURSO: LOGICA MATEMATICA

TRABAJO INIVIDUAL:
Unidad 1: Paso 2 - Conectivos Lógicos y teoría de conjuntos

TUTOR:

JOHN JAIRO LEIVA JIMÉNEZ

GRUPO: 90004

MARZO DE 2018.
 Introducción

En la lógica matemática es fundamental el cálculo por medio de operaciones realizadas con

diferentes tipos de signos, por lo tanto, es necesario establecer un pleno conocimiento y manejo

adecuado de cada una de estas operaciones y una comprensión adecuada de la simbología

utilizada, con el fin de hallar validez en los razonamientos planteados.

Así, podemos afirmar que la Lógica Matemática esta definida por una serie de cálculos por

medio de signos lógicos, siguiendo unas secuencia o reglas establecidas.

Por medio de la presente actividad, se aplicaran las operaciones entre proposiciones y

conjuntos, lo cual pondrá a prueba cada uno de los conocimientos adquiridos en la lectura de la

Unidad 1.
 Objetivos

 Estudiar, interpretar y comprender cada una de las expresiones en lenguaje simbólico y

natural.

 Identificar los conectores lógicos y comprender el uso adecuado en cada una de las

proposiciones.

 Reconocer y dominar las tablas de verdad para la comprobación de la verdad o falsedad

de una proposición.

 Conocer cada una de las leyes establecidas en la teoría de conjuntos

 Realizar de manera adecuada los diagramas y las operaciones entre conjuntos

 DESARROLLO DE ACTIVIDAD

Tarea 1: Proposiciones

Escriba la proposición compuesta propuesta en lenguaje natural y determine su valor de verdad,

a partir del valor de verdad de cada proposición simple:

a) p: El estadio del Deportes Tolima se llama “Manuel Murillo Toro”

q: Un equipo de futbol lo componen 12 jugadores

(𝒑⋀𝒒) ↔ (¬𝒑∨¬𝒒)

El estadio del Deportes Tolima se llama “Manuel Murillo Toro” y un equipo de futbol lo

componen 12 jugadores si solo si el estadio del Deportes Tolima no se llama “Manuel Murillo

Toro” o un equipo de futbol no lo componen 12 jugadores.

p: v
q: f

Dada la siguiente:

(𝒑⋀𝒒) ↔ (¬𝒑∨¬𝒒)
(v ⋀ f) ↔ (f ∨ v)
f↔v
(f)
Tarea 2: Tablas de verdad

Cada solución de los siguientes enunciados debe contar con las siguientes etapas:

 Expresión en lenguaje simbólico.

 Desarrollo mediante tablas de verdad

 Uso del simulador Truth Table.

a) Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio entonces

en la noche llueve

p: En las mañanas llueve

q: En la tarde hace frio

r: En la noche llueve

(p → q) ⋀ (q → r)

p q r (p→q) (q → r) [(p→q) ⋀ (q→r)

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

V F V F V F

V F F F V F

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

Tarea 3: Teoría de Conjuntos

A partir del ejemplo anterior representar cada una de las siguientes situaciones en un diagrama

de Venn y con las operaciones entre conjuntos, desde la siguiente situación:

Sean los conjuntos A, B y C representados mediante diagrama de Venn en la siguiente figura:

Donde el conjunto A: Está representado por los Estudiantes de Ingeniería Electrónica.

El conjunto B: Está representado por los Estudiantes de Ingeniería de Telecomunicaciones.

El conjunto C: Está representado por los Estudiantes de Ingeniería de Sistemas.

El conjunto U: Representado por todos los estudiantes de Ciencias Básicas, Tecnología e

Ingeniería (ECBTI), llámese al conjunto U, conjunto Universal, dado que este contiene a todos

los conjuntos anteriores.

Con base a lo anterior, la universidad Nacional Abierta y a Distancia – UNAD, necesita

representar mediante un diagrama de Venn las siguientes situaciones, con su respectiva

representación simbólica:

Representar cada una de las siguientes situaciones en un diagrama de Venn, con la respectiva

operación entre los conjuntos, partiendo de las siguientes consideraciones:

U= {Estudiantes de Ciencias Básicas, Tecnología e Ingeniería (ECBTI)}

A= {Estudiantes de Ingeniería Electrónica}

B= {Estudiantes de Ingeniería de Telecomunicaciones}

C= {Estudiantes de Ingeniería de Sistemas}

a) Los estudiantes que están en Ingeniería electrónica y telecomunicaciones, pero no

están en la ingeniería de sistemas.

( A ∩ B )−C

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

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los

interrogantes planteados

a) Con el fin de conocer las preferencias en los jóvenes, de proveedor de telefonía se realiza una

encuesta a un número de estudiantes. Esta se realiza con los tres operadores más utilizados en el

mercado, CLARO, MOVISTAR Y TIGO, al organizar los resultados se obtuvo la siguiente

información: 79 estudiantes prefieren CLARO, 88 estudiantes prefieren MOVISTAR, 92

estudiantes prefieren TIGO; 51 estudiantes prefieren a CLARO y MOVISTAR; 49 estudiantes de

manera conjunta prefieren CLARO y TIGO; si 51 estudiantes prefieren TIGO y MOVISTAR;

hay 41 estudiantes quienes le gusta los tres operadores: se pregunta:

•¿Cuantos estudiantes fueron encuestados?

149 en total, fueron encuestados.

•¿Cuantos prefieren CLARO o MOVISTAR, pero no Tigo?

57 prefieren Claro o Movistar

•¿Cuantos prefieren únicamente TIGO?

33 es el numero de estudiantes que prefieren TIGO

•¿Cuantos estudiantes prefieren un solo operador?

80 estudiantes prefieren un solo operador móvil.

A: CLARO

B: MOVISTAR

C: TIGO

Conclusiones
 Es determinante para determinar el grado de verdad de las proposiciones conocer y dominar

la tabla de verdad de cada uno de los operadores lógicos, así como lo es la identificación y

comprensión de cada una de las operaciones entre conjuntos y su respectiva simbología, para

evitar confusiones y malos procedimientos.

Luego del desarrollo de cada uno de los ítems planteados, se han fortalecido los

conocimientos básicos que posteriormente nos conducirán a resolver casos mas complejos y de

mayor extensión.

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

Grupo Editorial Patria. Lógica y calculo proposicional (PP. 19 – 29). Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=30&docID=11013570&tm=1492518308189

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, México:

Grupo Editorial Patria. Tipos de razonamientos. (PP. 80- 84) Tomado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=91&docID=11230887&tm=1496180214861

Chávez, C. P. (2000). Lógica Simbólica, Compendio de lógica. : Larousse - Grupo Editorial

Patria. Páginas (PP 151- 162). Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=166&docID=11046000&tm=1492518443951