LOGICA MATEMETICA

Paso 2 - Conectivos Lgicos y teora de conjuntos

Karen Yulieth Lpez

Cdigo 1004417122
Sergio David Ramos
Cdigo 1004441323
Hernan Javier Cadena
Cdigo 1077875240
Mauricio Herrera Anturi
Cdigo 1006487310
Jimmy Alejandro Jimnez
Cdigo 1078753548

Tutor

JUAN MANUEL CORTES

Universidad Nacional Abierta y a Distancia UNAD

CEAD-Pitalito

Marzo 2017
 INTRODUCCION

Los conectivos lgicos son smbolos que se utilizan para conectar dos frmulas
de modo que el valor de verdad de la formula dependa del valor de verdad de
los componentes. Los conectivos son funciones de verdad quiere decir que son
funciones que toman uno o dos valores de verdad y devuelve un nico valor de
verdad en consecuencia, cada conectivo lgico puede ser definida mediante
una tabla de valores de verdad que indique que valor devuelve la conectividad
para cada combinacin de valores de verdad.
Mientras que un conjunto es un grupo de elementos u objetos especificados en
tal forma que se puede afirmar con certeza si cualquier objeto dado pertenece
o no a la agrupacin. Para denotar a los conjuntos, se usan letras maysculas.
OBJETIVOS

Conocer y entender los conceptos bsicos los conectivos lgicos y teora

de conjunto
Conocer e identificar los diferentes tipos de conectores lgicos, cul es
su smbolo, esquema, significado y valor de verdad.
Desarrollar y construir tablas de verdad mediante interpretacin de los
signos lgicos como no, o, y, sientonces, s y slo s.
Aplicar los conceptos fundamentales de la teora de conjuntos en la
solucin de problemas.
Conocer el diagrama de venn y aplicar sus regiones cerradas que sirven
para visualizar el contenido de un conjunto o las relaciones entre
conjuntos
 TABLA 1:PLAN DE ACCION - GRUPO 149

Datos Estudiante Fotografa Rol dentro Ejercicios Ejercicios

del Trabajo seleccionados a seleccionados
Colaborativo desarrollar revisar

Identificacin Tarea 1: C Tarea 1: A

1004417122 Tarea 2: C Tarea 2: A

Nombre Evaluador Tarea 3: C Tarea 3: A
Karen Yulieth Lopez Tarea 4: C Tarea 4: A
CCAV Pitalito

Identificacin Tarea 1: A Tarea 1: C

1004441323 Tarea 2: E Tarea 2: D

Nombre Alertas Tarea 3: E Tarea 3: C
Sergio David Ramos Tarea 4: B Tarea 4: C
CCAV Pitalito

Identificacin Tarea 1: B Tarea 1: A

1077875240 Tarea 2: A Tarea 2: C

Nombre Tarea 3: B Tarea 3: E
Hernan Javier Cadena Entregas Tarea 4: E Tarea 4: A
Chavarro

CCAV Pitalito

Identificacin Revisor Tarea 1: D Tarea 1: B

1006487310 Tarea 2: B Tarea 2: B

Nombre Tarea 3: A Tarea 3: B
Mauricio Herrera Anturi Tarea 4: A Tarea 4: B
CCAV Pitalito

Identificacin Tarea 1: E Tarea 1: D

1078753548
Compilador Tarea 2: D Tarea 2: E
Nombre
Jimmy Alejandro Jimnez Tarea 3: D Tarea 3: D

CCAV Pitalito Tarea 4: D Tarea 4: D

Tarea 1: Proposiciones

Escriba la proposicin compuesta propuesta en lenguaje natural y determine su

valor de verdad, a partir del valor de verdad de cada proposicin simple:

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

A.

: . (V)
: . (v)

() ( )
(v v) ( )
(v) (f v)
(v) ( v)
( f) ( v )
(f)

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

se cursan de manera virtual si solo si la UNAD no es una universidad o
las materias de la UNAD se cursan de manera virtual.
C. : . (F)

: . (F)

( ) ( )

RTA:

Si tres colombianos han ganado el premio nobel, entonces, Gabriel Garca

Mrquez gano un nobel de paz si y solo si, tres colombianos no han ganado el
premio nobel o Gabriel Garca Mrquez gano un novel de paz.

( ) ( )
F F V F

V V
V

De esta forma obtenemos que la proposicin compuesta es verdadera.

D. : 9 .
: 5 .
: .
[( ) ( )] ( )
Respuesta.
Una semana dura 9 das, entonces, el curso de lgica matemtica tiene 5
actividades y, el curso de lgica matemtica tiene 5 actividades, entonces,
Euclides escribi el tratado matemtico y geomtrico, si y solo si, una semana
dura 9 das, entonces, Euclides escribi el tratado matemtico y geomtrico.
[( ) ( )] ( )
F F F V F V
V V V
V V
V
Con esto sabemos que la respuesta es verdadera.
E. : . F
: . F
: 400 F

[( ) ] [( ) ( )]

[(F F) F] [(F F) (V F)]

(V F) (F V)

FF

Es cierto que las grabaciones de las web conferencias estn en el entorno

inicial, los gatos son reptiles y los cursos de la UNAD se aprueban con 400
puntos si solo si las grabaciones de las web conferencias estn en el entorno
inicial o los gatos son reptiles o los cursos de la UNAD se aprueban con 400
puntos.

Tarea 2: Tablas de verdad

Cada solucin de los siguientes enunciados debe contar con las siguientes
etapas:

- Expresin en lenguaje simblico.

- 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 ao 2017 o faltan dos aos para el mundial y no faltan dos
aos para el mundial de ftbol, entonces estamos en el ao 2017.

RTA//

p. Estamos en el ao 2017

q. Faltan dos aos para el mundial

- Expresin en lenguaje simblico

[(pq) q] p

- Desarrollo mediante tablas de verdad 23 = 8

p q q (pq) [(pq) q] [(pq) 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

- Uso del simulador Truth Table.

B. Si no es cierto que la luna tiene atmsfera y tiene vida, entonces la luna no
tiene atmsfera o no tiene vida.
- Expresin en lenguaje simblico.
( ) ( )
- Desarrollo mediante tablas de verdad
24=16
p q r s ( ) ( ) ( ) ( )

V V V V F F F F F V

V V V F F F V F V V

V V F V F V F F V V

V V F F F V V F V V

V F V V V F F V F F

V F V F V F V V V V

V F F V V V F V V V

V F F F V V V V V V

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

F V F V F V F F V V

F V F F F V V F V V

F F V V V F F F F V

F F V F V F V F V V

F F F V V V F F V V

F F F F V V V F V V

q p r s (qp) (rVs)

T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T F
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T

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

conducir su auto hasta Bogot o la polica la detendr en el camino.
p = Erika tiene un auto.

q = Erika tiene licencia para conducir.

r = Erika conducir su auto hasta Bogot.

s = La polica la detendr en el camino.

- Expresin en lenguaje simblico.

( ) ( )

- Desarrollo mediante tablas de verdad 24 = 16

p q r s ( ) ( ) ( ) ( )

V V V V F F V V

V V V F F F V V

V V F V F F V V

V V F F F F F V

V F V V V V V V

V F V F V V V V

V F F V V V V V

V F F F V V F F

F V V V F F V V

F V V F F F V V

F V F V F F V V

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

F F V F V F V V

F F F V V F V V

F F F F V F F V

Uso del simulador Truth Table.

D. Estudiar en la UNAD me dar crecimiento personal si y solo si me

esfuerzo y soy responsable.

p. Estudiar en la UNAD me dar crecimiento personal

q. Me esfuerzo

r. soy responsable.

(qr)p

2 =23 =8
q r p (qr) (qr)p

V V V V V

V F V F V

F V V F V

F F V F V

V V F V F

V F F F V

F V F F V

F F F F V

q r p (qr)p

T T T T
T T F F
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

E. Si Carlos no trabaja en el da y se dedica al estudio en la noche, se matricula

en la universidad.

P. Carlos trabaja en el dia

Q. Carlos estudia en la noche
R. Carlos se matricula en la universidad
p q r q (p q ) (p q ) r

V V V F F V

V V F F F V

V F V F F 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

( p q ) r

2 =23 =8
Tarea 3: Teora de Conjuntos

Consideremos eventos que se pueden representar por medio de un

conjunto:
= { ""}
= { }
= { }
= { }
Estos conjuntos los podemos representar en un diagrama:

Ejemplo:
Representar la siguiente situacin en el diagrama de Venn y con las
operaciones entre conjuntos
Empleados casados con estudios profesionales y originarios de la
capital


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 situacin:

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

= { }
= { }
= { }

= { }
Estos conjuntos se representan en un diagrama:

Pregunta a responder:

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

problema de tablas de verdad, problema de la validez de un razonamiento).
Respuesta.
La parte sombreada de verde claro son los estudiantes que realizaron las 3
actividades.
Esta respuesta se saca mediante la frmula CTV.
B. Los estudiantes que solo hicieron los problemas de validez de un
razonamiento.

Rta//

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

es la parte que esta de color amarillo.

V-(CUT)
 C. Todos los estudiantes que resolvieron el problema de conjuntos.

RTA: Todos los estudiantes que resolvieron el problema de conjuntos fueron

los del conjunto C.

C T

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

razonamiento

TVC
E. Los estudiantes que no resolvieron ningn problema

RTA: (CTV)
Tarea 4: Aplicacin de la Teora 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 verificacin del
estado de un lote de 130 equipos celulares que presentaban fallas tcnicas,
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 slo tienen

pantalla daada; mientras que los que slo tienen defecto en pin de carga son
70 equipos.
Datos:
L= 130
B= 70
(70+AB+A)=130
(AB+A)=130-70
(AB+A)=60
El problema planteado dice que AB es el doble de A entonces,
AB=2A
(2A+A)=60
3A=60
A=60/3
A=20
Entonces,
AB= 2A
AB=20*2
AB=40
Respuesta,
(70+AB+A)=130
(79+40+20)=130

B. Se realiz una encuesta a 100 estudiantes que estudian ingenieras en la

UNAD, se les pregunto qu curso preferan; la encuesta arrojo los siguientes
resultados:
A 45 de ellos les gusta el curso de Algebra, a 40 les gusta el curso de Clculo
Diferencial, a 48 les gusta el curso de Fsica; a 15 les gusta el curso de Algebra
y el curso de Clculo Diferencial, a 13 el de Algebra y Fsica, a 10 el de Clculo
Diferencial y el de Fsica, a 5 les gusta los tres cursos.

Cuntos estudiantes prefieren solo el curso de clculo

diferencial?
A cuntos estudiantes solo prefieren el curso de Fsica?
Cuntos estudiantes prefieren nicamente los cursos de Algebra
y Fsica?
Cuntos estudiantes prefieren solamente los cursos de Clculo
Diferencial y Fsica?
 U

Calculo diferencial: 20 estudiantes

Fsica: 30 estudiantes
Algebra y Fsica: 8 estudiantes
Calculo diferencial y Fsica: 5 estudiantes

Operaciones

10-5= 5 calculo y fsica

13- 5= 8 algebra y fsica
15-5= 10 algebra y calculo
48-18= 30 fsica
40-20= 20 calculo
45-23=22 algebra

C. Una firma planea un proyecto de construccin 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
stano, 82 casas resultan de la unin del conjunto de casas con stano con el
de casas con terraza, las casas con terraza y jardn son 21, las casas con
terraza son 40 y 23 son las casas que no requieren ninguna especificacin de
las mencionadas. Para terminar la planeacin, los ingenieros deben determinar
las siguientes cantidades:

a. Cuntas casas deben tener terraza nicamente?

b. Cuntas casas deben tener jardn nicamente?
c. Cuntas casas deben tener stano y terraza?

RTA:

U= 140
S= 55 (casas con stano)
T= 40 (casas con terraza)
SUT= 82 (unin de casas con stano y terraza)
TJ= 21 (casas con terraza y jardn)
23 (no requieren ninguna especificacin)
 SUT= 82=55-x+x+y+21 Z=140=42+13+6+21+23+2
82=76+y Z= 35
82-76=y
6= y

T= 40=x+21+y
40=x+21+6
40-21-6=x
13=x

S= 55-x
55-13
42
 a. Cuntas casas deben tener terraza nicamente?
RTA= Las casas que nicamente deben tener terraza son 6.
T-(SUJ) = 6

b. Cuntas casas deben tener jardn nicamente?

RTA= Las casas que nicamente deben tener jardn son 31.
J-(SUT)= 35

c. Cuntas casas deben tener stano y terraza?

RTA= las casas que deben tener stano y terraza son 13
ST= 13

D. Desde la Decanatura de Ciencias Agrarias de la UNAD, se ha planteado

como estrategia de trabajo de campo una expedicin por tres lugares
maravillosos del territorio colombiano, para lo cual se han convocado a los
12573 estudiantes de Agronoma para que sean participen de dichas
expediciones. Infortunadamente cierto nmero de estudiantes no podrn asistir
a ninguno de los lugares seleccionados por situaciones laborales y familiares,
Lina desea saber cuntos estudiantes son, para tenerlos en cuenta para futuros
trabajos de campo. Uno de los tres lugares es Cao Cristales y en total
asistirn 5826 estudiantes; pero slo 4221 irn all a Cao Cristales; slo al
Parque Nacional de los Nevados irn 3076 estudiantes; 420 de los estudiantes
irn slo a dos de los lugares escogidos, que son el Parque Nacional de los
Nevados y Cao Cristales; otro grupo de 673 escogieron slo dos lugares para
ir, dichos lugares son Cao Cristales y la Isla Gorgona; slo a la Isla Gorgona
ir un grupo de 2020 estudiantes; y en total un grupo de 1902 estudiantes irn
al Parque Nacional de los Nevados y a la Isla Gorgona. De acuerdo a la
informacin anterior,
Cuntos sern los estudiantes que Lina tendr en cuenta para futuras
expediciones, ya que a las citadas no podrn asistir?

RTA: 261 estudiantes

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 cuntos 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
RTA//

D= Docentes con doctorado.

I = Investigadores de tiempo completo.

D I = 21 + 32 =53
(D U I)= 13

Los maestros que tienen Doctorado o se dedican a investigar de tiempo

completo son 53

Los maestros que No tienen su Doctorado ni se dedican a investigar de

tiempo completo son 13
 CONCLUCIONES

En conclusin esta actividad permiti afianzar conocimientos, y entender la

importancia de la lgica mediante reglas, tcnicas y representaciones, que
permitieron comprobar si un argumento es vlido. Adems conocer la
aplicacin en las diferentes asignaturas que componen nuestra formacin
acadmica.