UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

INGENIERIA SISTEMAS

Lgica Matemtica

UNIDAD 1 FASE 2 CONECTIVOS LOGICOS Y TEORIA DE CONJUNTOS

Erick Fabin Daz Cod.: 1018485726

Harley Andrs Herrera Crdenas Cd.: 1013603624

Edison Torres Cd.: 1014179857

Anderson Gamboa Rodriguez Cd.: 80175189

Tutor:

ALVARO BASTIDAS

Bogot, D.C. MAYO 2017

 INTRODUCCION

En el presente trabajo se mostrar las diferentes clases de conjuntos como se

interrelacionan, adicionalmente se utilizar nuevos mtodos de expresin a travs
de smbolos para determinar su resultado mediante las tablas de verdad.
 OBJETIVOS

Aprender sobre la teora de conjuntos y sus operaciones e identificar las

proposiciones, como realizar la conversin de un Lenguaje natural a un lenguaje
simblico y cmo aplicar esta conversin sobre tablas de verdad para obtener un
resultado.
 TABLA 1: PLAN DE ACCION - 90004_58
Datos Estudiante Fotografa Rol dentro del Ejercicios Ejercicios
Trabajo seleccionados a seleccionados
Colaborativo desarrollar revisar

1018485726 ALERTAS: Tarea 1 Tarea 1

Erick Fabin Diaz Alertas: Asegurar B A
CEAD Jos que se avise a los
Tarea 2 Tarea 2
Acevedo Gmez integrantes del
B A
grupo de las
novedades en el Tarea 3 Tarea 3
trabajo e B A
informar al Tarea 4 Tarea 4
docente B A
mediante el foro
de trabajo y la
mensajera del
curso, que se ha
realizado el envo
del documento
1013603524 Revisor: TAREA 1 TAREA 1
Herley Andres Asegurar que el C B
Herrera escrito cumpla
con las normas TAREA 2 TAREA 2
CEAD Jos
de presentacin C B
Acevedo Gmez
de trabajos TAREA 3 Tarea 3
exigidas por el C B
docente
TAREA 4 Tarea 4
C B
1014179857 Evaluador: TAREA 1 TAREA 1
Edison Torres Asegurar que el A C
CEAD Jos documento
contenga los TAREA 2 TAREA 2
Acevedo Gmez
criterios A C
presentes en la TAREA 3 Tarea 3
rbrica A C
TAREA 4 Tarea 4
A C
Compilador:
80175189 TAREA 1 TAREA 1
Consolidar el documento
ANDERSON E D
que se constituye como
GAMBOA TAREA 2 TAREA 2
el producto final del
JOSE ACEVEDO Y debate, teniendo en E D
GOMEZ cuenta que se hayan
TAREA 3 Tarea 3
incluido los aportes de
todos los participantes y
E D
que solo se incluya a los TAREA 4 Tarea 4
participantes que E D
intervinieron en el
proceso. Debe informar
a la persona encargada
de las alertas para que
avise a quienes no
hicieron sus
participaciones, que no
se les incluir en el
producto a entregar.
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:

a. : .
: .
() ( )

No es la UNAD una universidad y No las materias se cursan de manera

virtual Si y solo si No es la UNAD una universidad o las materias se cursan
de manera virtual

Complemente con los valores de verdad as:

P:V
q :V

Estos valores de verdad reemplcelos en:

() ( )

Luego, vaya resolviendo los conectores lgicos, hasta obtener una sola
expresin que debe ser: V o F

= F

() = =
p q ~p ~q () ()
v v f f f v
v f f v f v
f v v f f v
f f v v v f

( ) = =

p q ~p ~q () (~)
v v f f f v
v f f v f v
f v v f f v
f f v v v f
 c. ( ) ( )

P: Tres colombianos han ganado el premio nobel.

Q: Gabriel Garca Mrquez gano un nobel de paz.

Tres colombianos han ganado el premio nobel si entonces si

Gabriel gracia Mrquez gano un nobel de paz si solo si

No tres colombianos han ganado el premio nobel o

P V

Gabriel Garca Mrquez gano un nobel de paz

Q

P Q ( ) ( ) p (pq)

F F V V V

LUEGO ( ) ( ) ES VERDADERO

e)

p: Las grabaciones del web conferencias estn en el entorno inicial.

q: Los gatos son reptiles.

r: Los cursos de la UNAD se aprueban con 400 puntos

[(pq)r][(pq)(qr)]
p q r pq ~q pvq ~qvr [( ) ] [(pq)(qr)] [(pq)r][(p
q)(qr)]
V V V V F V V V V V
V V F V F V F F F V
V F V F V V V V V V
V F F F V V V V V V
F V V V F V V V V V
F V F V F V F F F V
F F V V V F V V F F
F F F V V F V F F V
 Si sabemos que las grabaciones de las web conferencias estn en el entorno
inicial, entonces los gatos son reptiles, luego as mismo tenemos que
llegamos a que los cursos de la UNAD se aprueban con 400 puntos.
solamente si las grabaciones de las web conferencias estn en el entorno
inicial o los gatos son reptiles, 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.

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.

Expresin en lenguaje simblico.

P = estamos en el ao 2017

q = faltan 2 aos para el mundial

Desarrollo mediante tablas de verdad

(( ) ~) = Falsa

p q ( ) ~ ) (( ) ~)

v f f v f
v v v f v
f f v f v
f v f f f
 Uso del simulador Truth Table.

c) Si Erika tiene un auto y no tiene licencia para conducir entonces

P Q

Erika conducir su auto hasta Bogot o la polica detendr en el camino

R V S

(P Q) (RvS)

TABLA DE VERDAD
P Q R S (P n Q) (R v S)
V V V V V V V V V V V
V V V F V V V V V V F
V V F V V V V V F V V
V V F F V V V V F F F
V F V V V F F F V V V
V F V F V F F F V V F
V F F V V F F F F V V
V F F F V F F F F F F
F V V V F F V V V V V
F V V F F F V V V V F
F V F V F F V V F V V
F V F F F F V V F F F
F F V V F F F V V V V
F F V F F F F V V V F
F F F V F F F V F V V
F F F F F F F V F F F

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

la universidad.
 Expresin en lenguaje simblico.
p: Carlos trabaja en el da
q: Carlos se dedica al estudio en la noche
r: Se matricula en la universidad
Desarrollo mediante tablas de verdad
~ (~ ^ ) (~ ^ )
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

Uso del simulador Truth Table.

Tarea 3: Teora 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
situacin:

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

= { }

= { }

= { }

= { }
a. Los estudiantes que realizaron los tres problemas (problema de conjuntos,
problema de tablas de verdad, problema de la validez de un razonamiento).

c. Todos los estudiantes que resolvieron el problema de conjuntos

e. Los estudiantes que no resolvieron ningn problema

Tarea 4: Aplicacin de la Teora de Conjuntos

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

interrogantes planteados.

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.

= 130
= 70
=?
+ 2 + 70 = 130
3 + 70 =130
3 = 60
= 60/3
=
2A=40

Equipos con defectos de pantalla = 20

Equipos con defectos de pantalla y pin de carga = 40

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:
 Cuntas casas deben tener terraza nicamente?
R: las casas que tienen terraza nicamente son 19
Cuntas casas deben tener jardn nicamente?
R: las casa que tienen jardn nicamente es 13
Cuntas casas deben tener stano y terraza?
R: las casas que tienen stano y terraza son 28
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

53 maestros

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

13 Maestros

D: Maestros con doctorado

I: Maestros Investigadores tiempo completo

 CONCLUSIONES

Aprendimos como es necesario simplificar nuestro lenguaje natural a travs de un

lenguaje mediante smbolos para determinar mediante las tablas de verdad y las

reglas de inferencia cul es su respuesta como una forma de expresin, teniendo en

cuenta los conectores de cada expresin que es donde all est parte de la solucin

para todas las operaciones que se deben aplicar.

Referencias Bibliogrficas

Referencias

Villalpando, B. J. F. (2014). Matemticas discretas: aplicaciones y ejercicios. : Larousse - Grupo

Editorial Patria. Pginas 19 - 29. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docID=1
1013570&tm=1492518308189