2-4-2017 ACTIVIDAD

COLABORATIVA
Desarrollo de Ejercicios

GRUPO 9004A_360
1082409515
 TRABAJO COLABORATIVO

FABIAN OBISPO BORJA

CÓDIGO: 1.082.409.515
YURANIS CAMPO
CODIGO:
CRISTHIAN CAMILO SUBERO
CODIGO:

LOGICA MATEMATICA
GRUPO COLABORATIVO 90004A_360

TUTOR
ADALBERTO JESUS BARRAZA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA SISTEMAS
SANTA MARTA
2017
CONTENIDO

INTRODUCCIÓN ........................................................................................................................ 3
OBJETIVO GENERAL ............................................................................................................... 4
OBJETIVOS ESPECÍFICOS ....................................................................................................... 4
TABLA DEL PLAN DE ACCION ............................................................................................. 5

DESARROLLO DE PROBLEMAS PROPUESTOS .................................................................. 6

CONCLUSION .......................................................................................................................... 24
INTRODUCCIÓN

El presente trabajo tiene como finalidad estudiar los conceptos de Proposiciones, tablas de verdad

y Teoría de conjuntos; que serán aplicados a la resolución de unas series de ejercicios planteados

en la temática del curso, el reconocimiento de los conceptos son esenciales para la resolución de

los problemas planteados, además de cualquier ejercicio que involucre dichos conceptos. En este

caso mostraremos la resolución de los ejercicios escogidos por algunos participantes del curso

Lógica Matemática.
OBJETIVO GENERAL

 Desarrollar problemas matemáticos utilizando Proporcionalidad, Tabla de Verdad

y Teorías de Conjuntos.

OBJETIVOS ESPECÍFICOS

 Identificar el concepto de proporcionalidad.

 Identificar la teoría de conjuntos.

 Implementar tablas de verdad para la resolución de problemas.

TABLA DEL PLAN DE ACCION
DESARROLLO DE PROBLEMAS PROPUESTOS

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:

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea escogido

por otro integrante)

a. 𝑝: 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑒𝑠 𝑢𝑛𝑎 𝑢𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑.

𝑞: 𝐿𝑎𝑠 𝑚𝑎𝑡𝑒𝑟𝑖𝑎𝑠 𝑒𝑛 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑠𝑒 𝑐𝑢𝑟𝑠𝑎𝑛 𝑑𝑒 𝑚𝑎𝑛𝑒𝑟𝑎 𝑣𝑖𝑟𝑡𝑢𝑎𝑙.

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

La UNAD no es una universidad y las materias no se cursan de manera virtual, si y solo si, la

UNAD no es una universidad o las materias se cursan de manera virtual.

𝒑∶𝑽

𝒒∶𝑽

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

¬(𝑉⋀V) ↔ (𝐹 ∨ V)

𝐹↔𝑉

(F)
 b. 𝑝: 𝑙𝑜𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 𝑙𝑜𝑠 𝑐𝑜𝑛𝑡𝑒𝑛𝑖𝑑𝑜𝑠 𝑑𝑒𝑙 𝐸𝑛𝑡𝑜𝑟𝑛𝑜 𝑑𝑒 𝑐𝑜𝑛𝑜𝑐𝑖𝑚𝑖𝑒𝑛𝑡𝑜.

𝑞: 𝑙𝑜𝑠 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑎𝑝𝑟𝑒𝑛𝑑𝑒𝑛 𝑎 𝑑𝑒𝑠𝑎𝑟𝑟𝑜𝑙𝑙𝑎𝑟 𝑙𝑜𝑠 𝑒𝑗𝑒𝑟𝑐𝑖𝑐𝑖𝑜𝑠.

[(𝒑 → 𝒒) ∧ ¬𝒒] → ¬𝒑

Los estudiantes de la UNAD estudian los contenidos del entorno de conocimiento entonces los

estudiantes aprenden a desarrollar los ejercicios y los estudiantes no aprenden a desarrollar los

ejercicios entonces los estudiantes de la UNAD no estudian los contenidos del entorno de

conocimiento.

𝒑∶𝑽

𝒒∶𝑽

[(𝑽 → 𝑽) ∧ 𝑭] → 𝑭

[𝑽 ∧ 𝑭] → 𝑭

𝑭→𝑭

(V)

c. 𝑝: 𝑇𝑟𝑒𝑠 𝑐𝑜𝑙𝑜𝑚𝑏𝑖𝑎𝑛𝑜𝑠 ℎ𝑎𝑛 𝑔𝑎𝑛𝑎𝑑𝑜 𝑒𝑙 𝑝𝑟𝑒𝑚𝑖𝑜 𝑛𝑜𝑏𝑒𝑙.

𝑞: 𝐺𝑎𝑏𝑟𝑖𝑒𝑙 𝐺𝑎𝑟𝑐í𝑎 𝑀á𝑟𝑞𝑢𝑒𝑧 𝑔𝑎𝑛𝑜 𝑢𝑛 𝑛𝑜𝑏𝑒𝑙 𝑑𝑒 𝑝𝑎𝑧.

(𝒑 → 𝒒) ↔ (¬𝒑 ∨ 𝒒)

Tres colombianos han ganado el premio nobel entonces Gabriel García Márquez ganó un nobel de

paz si y solo si tres colombianos no han ganado el premio nobel o Gabriel García Márquez gano

un nobel de paz.
 ¬ 𝒏𝒆𝒈𝒂𝒄𝒊ó𝒏

→ 𝑬𝒏𝒕𝒐𝒄𝒆𝒔

↔ 𝑺𝒊 𝒚 𝒔𝒐𝒍𝒐 𝒔𝒊

∨𝒐

𝒑∶𝑽

𝒒∶𝑽

(𝑽 → 𝑽) ↔ (𝑭 ∨ 𝑽)

(𝑽) ↔ (𝑽)

(𝑽)

d. 𝑝: 𝑈𝑛𝑎 𝑠𝑒𝑚𝑎𝑛𝑎 𝑑𝑢𝑟𝑎 9 𝑑í𝑎𝑠.

𝑞: 𝐸𝑙 𝑐𝑢𝑟𝑠𝑜 𝑑𝑒 𝐿ó𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑎 𝑡𝑖𝑒𝑛𝑒 5 𝑎𝑐𝑡𝑖𝑣𝑖𝑑𝑎𝑑𝑒𝑠.

𝑟: 𝐸𝑢𝑐𝑙𝑖𝑑𝑒𝑠 𝑒𝑠𝑐𝑟𝑖𝑏𝑖ó 𝑒𝑙 𝑡𝑟𝑎𝑡𝑎𝑑𝑜 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜 𝑦 𝑔𝑒𝑜𝑚é𝑡𝑟𝑖𝑐𝑜 𝐿𝑜𝑠 𝐸𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠.

[(𝒑 → 𝒒) ∧ (𝒒 → 𝒓)] ↔ (𝒑 → 𝒓)

Una semana dura 9 días entonces el curso de Lógica Matemática tiene 5 actividades y el curso de

Lógica Matemática tiene 5 actividades entonces Euclides escribió el tratado matemático y

geométrico los Elementos si y solo si, una semana dura 9 días entonces Euclides escribió el tratado

matemático y geométrico los Elementos.

𝒑∶𝑽

𝒒∶𝑽

[(𝑽 → 𝑽) ∧ (𝑽 → 𝑽)] ↔ (𝑽 → 𝑽)
[(𝑽) ∧ (𝑽)] ↔ (𝑽)

𝑽↔𝑽

(𝑽)

e. 𝑝: 𝐿𝑎𝑠 𝑔𝑟𝑎𝑏𝑎𝑐𝑖𝑜𝑛𝑒𝑠 𝑑𝑒 𝑙𝑎𝑠 𝑤𝑒𝑏 𝑐𝑜𝑛𝑓𝑒𝑟𝑒𝑛𝑐𝑖𝑎𝑠 𝑒𝑠𝑡á𝑛 𝑒𝑛 𝑒𝑙 𝑒𝑛𝑡𝑜𝑟𝑛𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙.

𝑞: 𝐿𝑜𝑠 𝑔𝑎𝑡𝑜𝑠 𝑠𝑜𝑛 𝑟𝑒𝑝𝑡𝑖𝑙𝑒𝑠.

𝑟: 𝐿𝑜𝑠 𝑐𝑢𝑟𝑠𝑜𝑠 𝑑𝑒 𝑙𝑎 𝑈𝑁𝐴𝐷 𝑠𝑒 𝑎𝑝𝑟𝑢𝑒𝑏𝑎𝑛 𝑐𝑜𝑛 400 𝑝𝑢𝑛𝑡𝑜𝑠

[(𝒑 → 𝒒) → 𝒓] ↔ [(𝒑 ∨ 𝒒) ∧ (¬𝒒 ∨ 𝒓)]

Las grabaciones de las web conferencias están en el entorno inicial entonces los gatos son réptiles

entonces los cursos de la UNAD se aprueban con 400 puntos si y solo si, Las grabaciones de las

web conferencias están en el entorno inicial o los gatos son réptiles y los gatos no son réptiles o

los curso de la UNAD se aprueban con 400 puntos.

𝒑∶𝑽

𝒒∶𝑽

𝒓∶𝑽

[(𝑽 → 𝑽) → 𝑽] ↔ [(𝑽 ∨ 𝑽) ∧ (𝑭 ∨ 𝑽)]

[𝑽 → 𝑽] ↔ [𝑽 ∧ 𝑽]

𝑽↔𝑽

(𝑽)
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.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea escogido

por otro integrante)

a. Si estamos en el año 2017 o faltan dos años para el mundial y no faltan dos años para el

mundial de fútbol, entonces estamos en el año 2017.

 Expresión en lenguaje simbólico.

𝑝: 𝑆𝑖 𝑒𝑠𝑡𝑎𝑚𝑜𝑠 𝑒𝑛 𝑒𝑙 𝑎ñ𝑜 2017

𝑞: 𝐹𝑎𝑙𝑡𝑎𝑛 𝑑𝑜𝑠 𝑎ñ𝑜𝑠 𝑝𝑎𝑟𝑎 𝑒𝑙 𝑚𝑢𝑛𝑑𝑖𝑎𝑙

[(𝑝 ∨ 𝑞) ∧ ~𝑞] ⟶ 𝑝

𝑝 𝑞 𝑝∨𝑞 ~q [(𝑝 ∨ 𝑞) ∧ ~𝑞] [(𝑝 ∨ 𝑞) ∧ ~𝑞] ⟶ 𝑝

V V V F F V

V F V V V V

F V V F F V

F F F V F V
 b. Si no es cierto que la luna tiene atmósfera y tiene vida, entonces la luna no tiene

atmósfera o no tiene vida.

 Expresión en lenguaje simbólico.

𝑝: 𝐿𝑎 𝑙𝑢𝑛𝑎 𝑡𝑖𝑒𝑛𝑒 𝑎𝑡𝑚ó𝑠𝑓𝑒𝑟𝑎

𝑞: 𝑡𝑖𝑒𝑛𝑒 𝑣𝑖𝑑𝑎

~ (𝑝 ∧ 𝑞) → ~𝑝 ∨ ~𝑞

 Desarrollo mediante tablas de verdad

𝑝 𝑞 𝑝∧𝑞 ~ (𝑝 ∧ 𝑞) ~p ~q ~𝑝 ∨ ~𝑞 ~ (𝑝 ∧ 𝑞) → ~𝑝 ∨ ~𝑞

V V

V F

F V
F F

𝑝 𝑞 𝑝∧𝑞 ~ (𝑝 ∧ 𝑞) ~p ~q ~𝑝 ∨ ~𝑞 ~ (𝑝 ∧ 𝑞) → ~𝑝 ∨ ~𝑞

V V V

V F F

F V F

F F F

𝑝 𝑞 𝑝∧𝑞 ~ (𝑝 ∧ 𝑞) ~p ~q ~𝑝 ∨ ~𝑞 ~ (𝑝 ∧ 𝑞) → ~𝑝 ∨ ~𝑞

V V V F F F

V F F V F V

F V F V V F

F F F V V V

𝑝 𝑞 𝑝∧𝑞 ~ (𝑝 ∧ 𝑞) ~p ~q ~𝑝 ∨ ~𝑞 ~ (𝑝 ∧ 𝑞) → ~𝑝 ∨ ~𝑞

V V V F F F F V

V F F V F V V V

F V F V V F V V

F F F V V V V V

 Uso del simulador Truth Table.

p q ¬ (pΛq)→¬pV¬q
 T T T

T F T

F T T

F F T

expression is a tautology

c. Si Erika tiene un auto y no tiene licencia para conducir, entonces, Erika conducirá

su auto hasta Bogotá o la policía la detendrá en el camino.

p: Erika tiene un auto

q: Tiene licencia para conducir

r: Erika conducirá su auto hasta Bogotá

s: la policía la detendrá en el camino

(p ∧ ¬q)→r∨s

p q r s p ∧ ¬q r∨s (p∧¬q)→r∨s

v v v v f v v

v v v f f v v

v v f v f v v

v v f f f f v

v f v v v v v

v f v f v v v

v f f v v v v

v f f f v f f

f v v v v v v

f v v f v v v

f v f v v v v

f v f f v f f

f f v v v v v

f f v f v v v

f f f v v v v

f f f f v f f
 d. Estudiar en la UNAD me dará crecimiento personal si y solo si me esfuerzo y soy

responsable.

Expresión en lenguaje simbólico.

p: Estudio en la unad.

q: La unad me dará crecimiento personal.

r: Me esfuerzo.

s: Soy responsable.

( p→q) ↔(r⋀s)
P q r s ( p→q) (r⋀s) ( p→q) ↔(r⋀s)

V V V V V V V

V V V F V F F

V V F V V F F

V V F F V F F

V F V V F V F

V F V F F F V

V F F V F F V

V F F F F F V

F V V V V V V

F V V F V F F

F V F V V F F

F V F F V F F

F F V V V V V

F F V F V F F

F F F V V F F

F F F F V F F

e. Si Carlos no trabaja en el día y se dedica al estudio en la noche, se matricula en la

universidad.

 Expresión en lenguaje simbólico.

 𝑝: 𝑆𝑖 𝐶𝑎𝑟𝑙𝑜𝑠 𝑡𝑟𝑎𝑏𝑎𝑗𝑎 𝑒𝑛 𝑒𝑙 𝑑𝑖𝑎

𝑞: 𝑠𝑒 𝑑𝑒𝑑𝑖𝑐𝑎 𝑎𝑙 𝑒𝑠𝑡𝑢𝑑𝑖𝑜 𝑒𝑛 𝑙𝑎 𝑛𝑜𝑐ℎ𝑒

𝑟: 𝑠𝑒 𝑚𝑎𝑡𝑟𝑖𝑐𝑢𝑙𝑎 𝑒𝑛 𝑙𝑎 𝑈𝑛𝑖𝑣𝑒𝑟𝑠𝑖𝑑𝑎𝑑

(¬𝑝 ∧ 𝑞) ⟶ 𝑟

𝑝 𝑞 𝑟 ~p (¬𝑝 ∧ 𝑞) (¬𝑝 ∧ 𝑞) ⟶ 𝑟

V V V F F V

V V F F F V

V F V F V V

V F F F F V

F V V V V V

F V F V V F

F F V V F V

F F F V F V
Tarea 3: Teoría de Conjuntos

Consideremos eventos que se pueden representar por medio de un conjunto:

𝑈 = {𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒𝑙 𝑐𝑢𝑟𝑠𝑜 𝑑𝑒 𝐿𝑜𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚𝑎𝑡𝑖𝑐𝑎}

𝐶 = {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟𝑜𝑙𝑙𝑎𝑟𝑜𝑛 𝑒𝑙 𝑝𝑟𝑜𝑏𝑙𝑒𝑚𝑎 𝑑𝑒 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠}

𝑇 = {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟𝑜𝑙𝑙𝑎𝑟𝑜𝑛 𝑒𝑙 𝑝𝑟𝑜𝑏𝑙𝑒𝑚𝑎 𝑑𝑒 𝑡𝑎𝑏𝑙𝑎𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑}

𝑉 = {𝐸𝑠𝑡𝑢𝑑𝑖𝑒𝑛𝑡𝑒𝑠 𝑞𝑢𝑒 𝑑𝑒𝑠𝑎𝑟𝑟𝑜𝑙𝑙𝑎𝑟𝑜𝑛 𝑒𝑙 𝑝𝑟𝑜𝑏𝑙𝑒𝑚𝑎 𝑑𝑒 𝑙𝑎 𝑣𝑎𝑙𝑖𝑑𝑒𝑧 𝑑𝑒 𝑢𝑛 𝑟𝑎𝑧𝑜𝑛𝑎𝑚𝑖𝑒𝑛𝑡𝑜}

Estos conjuntos se representan en un diagrama:

a. Los estudiantes que realizaron los tres problemas (problema de conjuntos, problema

de tablas de verdad, problema de la validez de un razonamiento)

b. Los estudiantes que solo hicieron los problemas de validez de un razonamiento

c. Todos los estudiantes que resolvieron el problema de conjuntos

C T

d. Los estudiantes que solo resolvieron la tabla de verdad y la validez de un razonamiento

e. Los estudiantes que no resolvieron ningún problema

(𝐶 ∪ 𝑇 ∪ 𝑉)𝐶 = 𝑈 {𝐸𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠 𝑑𝑒𝑙 𝑐𝑢𝑟𝑠𝑜 𝑑𝑒 𝐿𝑜𝑔𝑖𝑐𝑎 𝑀𝑎𝑡𝑒𝑚𝑎𝑡𝑖𝑐𝑎 𝑞𝑢𝑒 𝑛𝑜 ℎ𝑖𝑐𝑖𝑒𝑟𝑜𝑛 𝑛𝑎𝑑𝑎}
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

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea escogido

por otro integrante)

a. Se realizó en una empresa de telecomunicaciones una verificación del estado de un

lote de 130 equipos celulares que presentaban fallas técnicas, encontrando los

siguiente: A equipos con defecto en la pantalla, B equipos con defectos en el pin de

carga, Se observó que los equipos con mal funcionamiento de pantalla y pin de carga,

son el doble de los que sólo tienen pantalla dañada; mientras que los que sólo tienen

defecto en pin de carga son 70 equipos.

Datos:

Total de equipos celulares que presenta fallas (U)= 130

Equipos con defecto en la pantalla (A) = x

Equipos con defecto en el pin de carga (B) = 70

𝑈 = {𝐶𝑒𝑙𝑢𝑙𝑎𝑟𝑒𝑠 𝑞𝑢𝑒 𝑝𝑟𝑒𝑠𝑒𝑛𝑡𝑎𝑛 𝑓𝑎𝑙𝑙𝑎𝑠 𝑡𝑒𝑐𝑛𝑖𝑐𝑎𝑠}

𝐴 = {𝐸𝑞𝑢𝑖𝑝𝑜𝑠 𝑐𝑜𝑛 𝑑𝑒𝑓𝑒𝑐𝑡𝑜 𝑒𝑛 𝑙𝑎 𝑝𝑎𝑛𝑡𝑎𝑙𝑙𝑎}

𝐵 = {𝐸𝑞𝑢𝑖𝑝𝑜𝑠 𝑐𝑜𝑛 𝑑𝑒𝑓𝑒𝑐𝑡𝑜 𝑒𝑛 𝑒𝑙 𝑝𝑖𝑛 𝑑𝑒 𝑐𝑎𝑟𝑔𝑎}

𝑃𝑒𝑟𝑜: 2(𝐴 ∩ 𝐵) = 𝐴

𝑆𝑎𝑏𝑒𝑚𝑜𝑠 𝑞𝑢𝑒: 𝐴 + 𝐵 = 130 𝑦 𝑞𝑢𝑒: 𝐴 + 70 = 130 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐴 = 60

60
𝑃𝑎𝑟𝑎 2(𝐴 ∩ 𝐵) = 𝐴 →𝐴 ∩𝐵 = 𝑝𝑜𝑟 𝑙𝑜 𝑞𝑢𝑒: 𝐴 ∩ 𝐵 = 30
2
e. De 180 maestros de la Universidad Nacional Abierta y a Distancia UNAD 135 tienen
doctorado, 146 son investigadores de tiempo completo. De los doctores 114 son
investigadores de tiempo completo.
Indicar cuántos de estos maestros:
 Tienen su Doctorado o se dedican a investigar de tiempo completo
 R/ 167
 No tienen su Doctorado ni se dedican a investigar de tiempo completo.
 R/ 13
CONCLUSION

Se aprendieron y se pusieron en práctica los conceptos estudiados, reconociendo la importancia de

aplicar teorías matemáticas para la resolución de problemas para la vida cotidiana; a partir de ahora

comenzaremos a poner en marcha las temáticas estudiadas; ya que nos pueden ayudar en el

desarrollo y aprendizaje de toda nuestra vida académica. Además que 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 inferencia lógicas también cotidianas y las hacemos sin darnos

cuenta.
REFERENCIAS

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

Grupo Editorial Patria. Páginas 19 - 29. Recuperado de: http://hdl.handle.net/10596/6551

 Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151-
162. Recuperado de:http://hdl.handle.net/10596/6552

 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 151 -162 Recuperado
de: http://hdl.handle.net/10596/6541