LOGICA MATEMATICAS

TRABAJO COLABORATIVO

PRESENTADO POR:

Ana maria Rincon

CODIGO: 49555316

GRUPO: 90004_326

TUTOR
ADALBERTO JOSE BARRAZA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

ESCUELA DE CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONOMICAS Y

DE NEGOCIOS

ABRIL 2016
INTRODUCCION

El desarrollo de la presente actividad tuvo como finalidad conocer y colocar en

prctica la teora de conjuntos y sus aplicaciones, afianzando conocimientos con
los diferentes temas tratados en la unidad. Presentando ejemplos de la vida
cotidiana, para que a travs de la lgica matemtica se pueda demostrar su
validez, a travs de la lgica matemtica facilitando el aprendizaje y utilizando
simuladores de tablas de verdad, para comprobar las tablas resultantes de los
ejercicio propuestos..
Tareas a desarrollar:

Tarea 1: Teora de Conjuntos

Para cada situacin enumerada a continuacin es necesario presentar lo

siguiente:

a. Identificacin de los conjuntos

b. Elaboracin del Diagrama de Venn

c. Descripcin de la solucin del Problema

d. Argumentacin de la validez de su respuesta.

1. De los 168 alumnos de la UNAD Sahagn, 110 estudian informtica, 90

ingls, y 20 ni lo uno ni lo otro. Cuntos estudian ambas materias?

a.

U= 168 A=110 B= 90

b. Diagrama de ven
c. Descripcin del problema)

Hallamos el valor de X creando un sistema de ecuaciones para determinar el

nmero de estudiantes que estudian ambas materias.
110-x+x+90-x+20=168
110+90-x+20=168
220-x=168
X=52

Con esta operacin se deduce que el nmero de estudiantes que estudian ambas
materia son 52.

2. De un grupo de 105 alumnos de psicologa se encuentra que: 51 no toman

el curso de Lgica y 50 no siguen el curso de informtica. Si 29 alumnos no siguen
ni lgica ni informtica, Cuntos alumnos toman solo uno de esos cursos?

U= 105

Siguen curso de lgica=51

Siguen curso de informtica=50

No siguen ningn curso= 29

Se determina el nmero de estudiantes que estudian informtica.

105-54-29=22

Se halla la intercesin

55-22=33

Se determina el nmero de estudiantes que estudian lgica.

54-33=21

Los nmeros que toman informtica.22

Tarea 2: Aplicacin a la teora de conjuntos

2.1 Resuelva el siguiente Diagrama de Venn de acuerdo a la informacin que

se requiere.
2.1.1. Cuntos estudiantes pertenecen a los cursos Prcticos, Metodolgicos y
Tericos a la vez?

Pertenecen 4 estudiantes.

2.1.2. Cuntos estudiantes pertenecen solo a los cursos Prcticos?

Pertenecen solo a los cursos prcticos 45 estudiantes.

2.1.3. Cuntos estudiantes pertenecen solo a los cursos Tericos?

Perteneces a los cursos tericos 23 estudiantes.

2.1.4. Cuntos estudiantes pertenecen solo a los cursosprcticos

y metodolgicos pero no a los tericos?

Pertenece al curso prctico y metodolgico, pero no a los tericos son 8

estudiantes.

2.1.5. Cuntos estudiantes no pertenecen a los cursos prcticos?

Los estudiantes que no pertenecen al curso prctico son 61 estudiantes.

2.2 Con base en el diagrama de Venn del punto anterior represente (coloree)
cada caso de la forma que se propone en la siguiente relacin; un diagrama de
Venn para cada tem.

a. P T = P interseccin T
b. T U M = T unin M

c. P M = P diferencia simtrica M
d. P B = P diferencia B

No se puede colorear el conjunto b ya que no existe en el universo planteado en el

ejercicio.

e. (T U M) = (T unin M) complemento

Tarea 3: Proposiciones y tablas de verdad

3.1. El estudiante revisar individualmente los temas relacionados sobre
proposiciones y conectores lgicos, al terminar debe aplicar los conocimientos
adquiridos a las expresiones enumeradas a:

1. Si quieres progresar debes estudiar y ahorrar para el futuro.

PREMISAS

P= Progresar

q= estudiar

r= ahorrar

LENGUAJE SIMBOLICO

p>qr

TABLA DE LA VERDAD

p q r p>q (p>q)r
v v v v v

v v F V F

V F V F F

V F F F F

F V V V V

F V F V F

F F V V V

F F F V F

2. No puedes daar a un ser humano o permitir que sufra dao si eres un

robot.
PREMISAS

P=No puedes daar a un ser humano.

q= permitir que sufra

r= Eres robot
LENGUAJE SIMBOLICO

(p vq)>r

TABLA DE LA VERDAD

p p r p q (p vq) (p vq)>r

V V V F F F V

V V F F F F V

V F V F V V V

V F F F V V F

F V V V F V V

F V F V F V F

F F V V V V V

F F F V V V F
3. O viajamos en el da o lo hacemos por la noche.

PREMISAS
P= viajamos de da

q= viajamos de noche

LENGUAJE SIMBOLICO

(p Vq)

TABLA DE LA VERDAD

p q (p Vq)

V V V

V F V

F V V

F F F
4. Es necesario ser responsable y dedicado para estudiar ingeniera.

PREMISAS
P= es necesario ser responsable para estudiar ingeniera.

q= es necesario ser dedicado para estudiar.

LENGUAJE SIMBOLICO

pq

TABLA DE LA VERDAD

p q pq

V V V

V F F

F V F

F F F

5. Si quieres llegar temprano madruga ms.

PREMISAS

P= llegar temprano

q= madrugar mas

LENGUAJE SIMBOLICO

(p>q)
TABLA DE LA VERDAD

p q (p>q)

V V V

V F F

F V V

F F V

6. La lgica es condicin necesaria y suficiente para interpretar una lectura.

PREMISAS

P= la lgica es una condicin necesaria para interpretar lectura,

q= la lgica es una condicin suficiente para interpretar lectura.

LENGUAJE SIMBOLICO

pq

TABLA DE LA VERDAD

p q pq

V V V

V F F
F V F

F F F

7. Los habitantes del campo progresan si y solo si tienen servicios pblicos y

una vivienda adecuada.
PREMISAS

P= los habitantes del campo regresan

q= solo si tienen servicios pblicos

r= si tienen una vivienda

LENGUAJE LOGICO

p(qr)

TABLA DE LA VERDAD

p q r (qr) p(qr)

V V V V V

V V F F F

V F V F F
V F F F F

F V V V F

F V F F V

F F V F V

F F F F V

8. El conector lgico o es verdadero si y solo si alguna de las proposiciones

es verdadera.
PREMISAS
P= El conector lgico o es verdadero.

q= algunas de las proposiciones es verdadera

LENGUAJE SIMBOLICO

pq

TABLA DE LA VERDAD

p q pq

V V V

V F F
F V F

F F V

Cada solucin de los tems enumerados debe contar con las siguientes etapas:

a. Expresin en lenguaje natural en donde evidencie los conectivos lgicos.

b. Declaracin de premisas.

c. Expresin en lenguaje Simblico.

d. Tabla de verdad

e. Utilizar el simulador truth.

REFERNCIAS BIBLIOGRAFICAS

Lpez, L.J. Lgica para todos (2 Edicin).

Gaitn, M.P. (2014). Introduccin a la lgica. Cali, Valle. Recuperado de:

http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687

Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia. Recuperado de:

http://www.slideshare.net/patricialeguizamon397/teoria-de-
conjuntosyproposiciones

Gaitn, M.P. (2014). Lgica proposicional. Cali, Valle. Recuperado de:

http://www.slideshare.net/MariaGaitan2/lgica-proposicional-42022784