PASO 2 - CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

ACTIVIDAD COLABORATIVA
INTEGRANTES

JARIEL VEGA DURÁN

Código 9.692.930

CARMEN RAMÍREZ
Código 1064786128

DANIELA DIAZ
Código 10101899

LUIS OTALVARO
Código 91294709

Tutor
ALAN FERNANDO CUADROS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERÍA
PROGRAMA DE INGENIERIA DE SISTEMAS CERES CURUMANÍ
LÓGICA MATEMÁTICA CURSO 90004_GRUPO_166
MAYO 14 DE 2017
 Introducción

En esta actividad individual se recurre a los principios básicos de la lógica matemática

para analizar lenguajes y situaciones de la vida cotidiana para interpretarlas por medio del
lenguaje simbólico, de manea que se pueda demostrar la veracidad de los resultados pedidos
sobre proposiciones simples y compuestas, Tablas de verdad, diagramas de Veen y la
aplicación de la teoría de conjuntos.

Objetivos

Reconocer la interpretación, el planteamiento y la solución de situaciones problémicas de

la lógica matemática en los temas de proposiciones, función de los conectivos lógicos,
aplicación de las tablas de verdad y la teoría de conjuntos.

Objetivos Específicos

 Identificar diferentes clases de proposiciones y determinar su valor de verdad.

 Utilizar las tablas de verdad manuales y el simulador Truth para solucionar problemas
de la vida diaria.
 Demostrar la validez en los valores consignados en el diagrama de Venn justificando
los resultados obtenidos

DILIGENCIAMIENTO COMPLETO DE TABLA DE ACCIÓN

 Tarea 1: Tarea 1:
Ejercicio A Ejercicio a

Nombre: JARIEL VEGA Tarea 2: Tarea 2:

Identificación: 9692930 Ejercicio A Ejercicio a
WhatsApp: 3124801757 Compilador Tarea 3: Tarea 3:
M: Skype: +573124801757 Ejercicio B Ejercicio b
CERES: CURUMANI
Tarea 4: Tarea 4:
Ejercicio C Ejercicio c

Tarea 1: Tarea 1:

Ejercicio d Ejercicio: b

Tarea 2: Tarea 2:
Nombre: DANIELA DIAZ Ejercicio e Ejercicio: b
Identificación:10101899
Evaluador Tarea 3: Tarea 3:
WhatsApp: 3007049940
CERES: CURUMANI Ejercicio a Ejercicio: c

Tarea 4: Tarea 4:

Ejercicio a Ejercicio: b

Tarea 1: Tarea 1:
Ejercicio B Ejercicio A

Tarea 2: Tarea 2:
Nombre: LUIS Ejercicio B Ejercicio A
OTALVARO
Identificación: 91294709 Revisor Tarea 3: Tarea 3:
M: Skype: Ejercicio C Ejercicio B
CERES: Curumaní
Tarea 4: Tarea 4:
Ejercicio d Ejercicio C

Entregas

Tarea 1: Tarea 1:
Ejercicio E Ejercicio A

Tarea 2: Tarea 2:
Nombre: Ejercicio D Ejercicio A
Identificación: 1064786128
Alertas Tarea 3: Tarea 3:
WhatsApp: 3216105875
CERES: CURUMANI Ejercicio D Ejercicio B

Tarea 4: Tarea 4:
Ejercicio E Ejercicio C
 DESARROLLO DE LA ACTIVIDAD INDIVIDUAL

PASO 2 - CONECTIVOS LÓGICOS Y TEORÍA DE CONJUNTOS

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:

Ejercicio a. p: la UNAD es una universidad.

q: Las materias en la UNAD se cursan de manera virtual.

¬ (p⋀ q) ↔ (¬p ∨ q)

Describimos la proposición compuesta en lenguaje natural, utilizamos las tablas manuales

de verdad, para saber si el valor de verdad es Tautología, Contradicción o Contingencia.

Proposición compuesta en lenguaje natural

No es cierto que la UNAD es una universidad y las materias en la UNAD se cursan de

manera virtual, sí y solo sí, la Unad no es una universidad o las materias en la UNAD se
cursan de manera virtual.

Lenguaje simbólico: ¬ (p ⋀ q) ↔ (¬p ∨ q)

p q ¬p p ⋀ q ¬ (p ⋀ q) (¬p ∨ q) ¬ (p ⋀ q) ↔ (¬p ∨ q)
V V F V F V F
V F F F V F F
F V V F V V V
F F V F V V V

Se obtiene una contingencia, es decir, no es tautología ni contradicción.

Ejercicio b.
p: los estudiantes de la UNAD estudian los contenidos del entorno de conocimiento.

q: Los estudiantes aprenden hacer los ejercicios.

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

Proposición compuesta en lenguaje natural

Si los estudiantes dela UNAD estudian los contenidos del entorno de conocimiento

Entonces los estudiantes aprenden a desarrollar los ejercicios Y Si los estudiantes No

aprenden a desarrollar los ejercicios Entonces los estudiantes dela UNAD No estudian los

contenidos del entorno de conocimiento.

p q ¬q (p→q) [(p→q) ∧ ¬𝒒] ¬p [(p→q) ∧ ¬q]→ ¬p

V V F V F F V

V F V F F F V

F V F V F V V

F F V V V V V

Se obtiene una tautología.

Ejercicio: d

P: una semana dura 9 días.

Q: el curso de lógica matemática tiene 5 actividades.

R: Euclides escribió el tratado matemático y geométrico los elementos

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

SOLUCIÓN

 Lenguaje natural

. 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

 Valor de verdad
 Utilizamos las tablas manuales de verdad, para saber si el valor de verdad es Tautología,

Contradicción o Contingencia.

P q R (𝒑 → 𝒒) (𝒒 → 𝒓)] (𝒑 → 𝒓)) [(𝒑 → 𝒒) ∧ (𝒒 → 𝒓)] ↔ (𝒑 → 𝒓))

V V F V f F v

V F F F V f v

F V V V V V V

F f V V V v V

Ejercicio c

P: Tres colombianos han ganado el premio nobel

q: Gabriel García Márquez gano un nobel de paz

(𝑝 → 𝑞) ↔ (¬ 𝑝 ˅ 𝑞)
Lenguaje natural:

(Si tres colombianos han ganado el premio nobel, entonces Gabriel García Márquez gano un

nobel de paz) si y solo si (no es cierto que tres colombianos han ganado el premio nobel o

Gabriel García Márquez gano un nobel de paz).

Valor de verdad:

𝑃 𝑒𝑠 𝑓 𝑞 𝑒𝑠 𝑓

(𝑝 → 𝑞) ↔ (¬ 𝑝 ˅ 𝑞)

(𝐹 → 𝐹) ↔ (𝑉 ˅ 𝐹)

𝑉 ↔ 𝑉

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.

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

 p: estamos en el año 2017

q: faltan dos años para el mundial

[(p ∨ q) ⋀¬q] → p

• Desarrollo mediante tablas de verdad

p q ¬q p ∨ q [(p ∨ q) ⋀¬q [(p ∨ q) ⋀¬q] → p

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

Se obtiene una tautología (Todos verdad), el argumento es verdadero.

• Uso del simulador Truth Table.

 b. Si No es cierto que la luna tiene atmósfera y tiene vida, Entonces la luna No tiene

atmosfera o No tiene vida.

 Expresión del lenguaje simbólico.

p: la luna tiene atmósfera.

q: tiene vida

(¬p∧q) → (¬p V ¬q)

p q ¬p (¬p∧q) ¬q (¬p V ¬q) (¬p∧q) → (¬p V ¬q)

V V F F F F F

V F F F V V F

F V V V F V F

F F V F V V F

 Uso del simulador Truth Table.

 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.

DESARROLLO

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

SOLUCIÓN

EXPRESIÓN EN LENGUAJE SIMBÓLICO

Erikapt Erika tiene un auto tiene licencia para conducir

Eri:
q Erika conduciría su auto hasta Bogotá
lar : policía la detendrá en el camino

¬p→ (q v r)

Simulator Truth Table

p q r ¬p qvr ¬p→(qvr)
v v v f v v
v v f f v v
v f v f v v
v f f f f v
f v v v v v
f v f v v v
f f v v v v
f f f v f f

Ejercicio d

Estudiar en la UNAD me dará crecimiento personal si y solo si me esfuerzo y soy

responsable. Lenguaje simbólico:

𝑝 > (𝑞 = 𝑟)

P: estudiar en la UNAD me dará crecimiento personal

q: Me esfuerzo
r: Soy responsable

Desarrollo mediante tablas de verdad:

P Q R Q↔r

V V V V

V V F F

V F V f

V F F F

F V V V

F V F F

F F V F

F F F F

Uso del simulador truth table:

Verdad
"La belleza es verdad, la verdad belleza" - eso es todo lo
sabe en esta tierra, y todos vosotros necesita saber.
John Keats, Oda a una urna griega , 1819

Los elementos de la expresión booleana

variables: a, b, c, ..., z
constantes: T (o 1) o F (o 0)
operador no
~ ¬ 1
unitario: (negación)
 operadores y ∧ 2 y (conjunción)
binarios:
| | 2 NAND (no e)
+ ∨ 3 o (disyunción)
- ↓ 3 NOR (no o)
# ⊕ 3 XOR (o exclusivo)
> → 4 si (implicación)
= ↔ 5 si y sólo si (bicondicional)
(), [], O {} pueden usado para expresiones de grupo para
agrupamiento:
cambiar el orden de evaluación

La primera columna sombreada para los operadores da la entrada de teclado para el

operador.
La tercera columna para los operadores da la prioridad para la operación. Dentro de un
grupo de prioridad, la evaluación se deja a la derecha.
2

Expresión booleana:

Para la
variable orden T
orden natural constantes: 1y0
en la alfabético yF
tabla:

p q r p→(q↔r)

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

Representar cada una de las siguientes situaciones en un diagrama de Venn y con las
operaciones entre conjuntos, desde la siguiente situación:

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

U= {Estudiantes del curso de Lógica Matemática}

C= {Estudiantes que desarrollaron el problema de conjuntos}

T= {Estudiantes que desarrollaron el problema de tablas de verdad}

V= {Estudiantes que desarrollaron el problema de la validez de un razonamiento}

Estos conjuntos se representan en un diagrama:

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

razonamiento

𝑽 ∆ (𝑪 ∪ 𝑻)

El diagrama de Veen da como resultado la diferencia simétrica del conjunto V respecto

de la unión de los conjuntos C con T.
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:

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

U= [Estudiantes del curso de Lógica Matemáticas]

C= [Estudiantes que desarrollaron el problema de conjuntos]

T= [Estudiantes que desarrollaron el problema de tablas de verdad]

V= [Estudiantes que desarrollaron el problema de la validez de un razonamiento]

Ejercicio c. Todos los estudiantes que resolvieron el problema de conjuntos

Representación del ejercicio C en el diagrama de Veen.

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:

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

U = {Estudiantes del curso de lógica matemática}

C = {Estudiantes que desarrollaron el problema de conjuntos}

T = {estudiantes que desarrollaron el problema de tablas de verdad}

V = {estudiantes que desarrollaron el problema de validez de un razonamiento}

Estos conjuntos se representan en un diagrama:

PROBLEMA A
 Los estudiantes que realizaron los tres problemas (problema de conjuntos, problema de
tablas de verdad, problema de la validez de un razonamiento)

SOLUCIÓN

A=𝐶∩𝑇∩𝑉

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:

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

𝑈 = {Estudiantes del curso de lógica matemática}

𝐶 = {Estudiantes que desarrollaron el problema de conjuntos}

𝑇 = {Estudiantes que desarrollaron el problema de tablas de verdad}

𝑉 = {Estudiantes que desarrollaron el problema de la valides de un razonamiento}

Ejercicio d

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

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

Ejercicio c. Una firma planea un proyecto de construcción de 140 viviendas teniendo en

cuenta las especificaciones requeridas por cada cliente, por lo que se han determinado
las siguientes cantidades de casas a construir:

55 casas con sótano, 82 casas resultan de la unión del conjunto de casas con sótano con el de
casas con terraza, las casas con terraza y jardín son 21, las casas con terraza son 40 y 23 son
las casas que no requieren ninguna especificación de las mencionadas. Para terminar la
planeación, los ingenieros deben determinar las siguientes cantidades:

 ¿Cuántas casas deben tener terraza únicamente?

 ¿Cuántas casas deben tener jardín únicamente?
 ¿Cuántas casas deben tener sótano y terraza?
Análisis:

Iniciamos con Terraza y jardín = 21

Con Sótano= 31 + 11+ 13 = 55

Sótano más terraza = 55 + 21 + 6 = 82

Con terraza = 21 + 13 + 6 = 40

Con otra especificación: sótano y jardín = 11 + 12 = 23

Sin ninguna de las anteriores especificaciones: 140 – 31 – 11 -13 -12 – 21 – 6 = 46

Respuestas

Tener terraza únicamente = 6 casas

Tener jardín únicamente= 12 casas

Deben tener sótano y terraza= 13 casas

a. Se realizó una encuesta a 100 estudiantes que estudian ingenierías en la UNAD, se les

pregunto qué curso preferían; la encuesta arrojo los siguientes resultados:

 A 45 de ellos les gusta el curso de Algebra, a 40 les gusta el curso de Cálculo Diferencial, a 48

les gusta el curso de Física; a 15 les gusta el curso de Algebra y el curso de Cálculo

Diferencial, a 13 el de Algebra y Física, a 10 el de Cálculo Diferencial y el de Física, a 5 les

gusta los tres cursos.

A: Algebra

C: Calculo Diferencial

F: Física

 ¿Cuántos estudiantes prefieren solo el curso de cálculo diferencial? = 22

 ¿A cuántos estudiantes solo prefieren el curso de Física? = 30

 ¿Cuántos estudiantes prefieren únicamente los cursos de Algebra y Física? = 8

 ¿Cuántos estudiantes prefieren solamente los cursos de Cálculo Diferencial y Física?

=5

Problema 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 lo 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 tienen la pantalla dañada;
mientras que los que solo tienen defecto en el pin de carga son 70 equipos.

A= Equipos con defecto en la pantalla

B= Equipo con falla en el pin de carga

SOLUCIÓN

(A ∪ B) =130

(A ∩ B ) = ?
B = 70
130-70= 60
A= 60-(A∩B)
A∩B= doble de equipos que solo tienen la pantalla dañada

A=20 → A∩B= 60-20=40

A∩B= 40

A = {20 equipos con daño de pantalla}

B = {70 equipos con defectos en el pin de carga}

A ∩ B = {40 equipos con mal funcionamiento de pantalla y pin de carga}

Ejercicio e

De 180 maestros de la Universidad Nacional Abierta y a Distancia 135 tienen doctorado, 146

son investigadores de tiempo completo, de los doctores 114 son investigadores de tiempo

completo,

Indicar cuál de estos maestros:

 Tienen su Doctorado o se dedican a investigar de tiempo completo.

 No tienen su doctorado ni se dedican a investigar de tiempo completo.

A= {x/x son Doctores}

B= {x/x son investigadores}

Para desarrollar tomemos los sectores que se representa con letras minúsculas

a +b= 135 son doctores

b+c=146 son investigadores

b=114 son doctores E investigadores

d=? No son doctores tampoco investigadores

A partir de este último dato: se tendrá el número de solo doctores y solo investigadores,

mientras que al sumar tanto doctores como investigadores y restando del universo se tiene el

número de profesores que no son investigadores ni doctores.

𝑎 = 135 (𝐷𝑜𝑐𝑡𝑜𝑟𝑒𝑠) 𝐴= 𝑎 + 𝑏

𝑃𝑒𝑟𝑜: 𝑏 = 114
 𝐴 = 𝑎 –𝑏

𝐴 = 135 – 114 = 21

Entonces se dice que 𝑨 = 𝟐𝟏 corresponde a profesores solo doctores (sector amarillo)

𝐵 = 146 (𝑖𝑛𝑣𝑒𝑠𝑡𝑖𝑔𝑎𝑑𝑜𝑟𝑒𝑠) 𝐵= 𝑏 + 𝑐

𝑃𝑒𝑟𝑜 𝑏 = 114 𝑐 = 𝐵−𝑏

Entonces se dice c= 32 corresponde a profesores solo investigadores

(Sector verde).

Al sumar los sectores (𝑎 + 𝑏 + 𝑐) 21 + 114 + 32 = 167 Corresponde a profesores con

preparación a nivel de doctores e investigadores.

Aplicando algebra de conjunto tenemos:

Para determinar el número de profesores que no son: ni doctores pero tampoco están en

investigación será:

(Solo profesores) = d

𝑆𝑖 180 = 𝑎 + 𝑏 + 𝑐 + 𝑑

Entonces 𝑑=

180 – (𝑎 + 𝑏 + 𝑐)

También se tiene que:

A: solo doctores 21
B: doctores e investigadores 114

C: solo investigadores 32

D: profesores, no doctores tampoco investigadores 13

Conclusión

Terminada la actividad se puede afirmar que es importante aplicar la teoría de conjuntos

cuando se requiere conceptualizar y crear conjuntos de elementos para agrupar datos y
relacionarlos conforme informaciones específicas que se tenga.

Cuando la tabla de verdad muestra resultados verdaderos se obtiene Tautología, lo que

quiere decir que el argumento tiene validez.

Los diagramas de Veen facilitan la demostración de problemas de la vida cotidiana, usando

la relación entre dos o más conjuntos mediante operaciones lógicas.

Fue muy oportuno el apoyo tutorial para el desarrollo de las actividades.

Referencias Bibliográficas

Amaya H (2016, Abril 10). Tablas de verdad colaborativo 2. Recuperado de:

http://hdl.handle.net/10596/6542

Chávez P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 151-

162. Recuperado de: http://hdl.handle.net/10596/6552

Georffrey Acevedo. (2010, Sept 10). [Ejemplo de uso de un generador de tablas de verdad 2].
Recuperado de: https://www.youtube.com/watch?v=ZKg7wt9EGJI

Escobar, M. R. (2010). Elementos de matemáticas para la administración. : Elibro. Páginas 7

– 87. Recuperado de: http://hdl.handle.net/10596/6545

Uso del simulador Truth Table:

https://www.youtube.com/watch?v=ZKg7wt9EGJI&feature=player_embedded