TRABAJO COLABORATIVO No.

PRESENTADO POR:
GRUPO No. 90004_131
BRAYAN GUILLERMO MONSALVE COD. 1014285000
JONATHAN BARRERA FERNANDEZ COD.1014253678
JORGE LUIS GAMELO COD.
JUAN CAMILO RUBIANO COD.

Presentado al tutor: Juan David Meja

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD JOSE ACEVEDO GOMEZ
PROGRAMA DE LOGICA MATEMATICA
AO 2016

1. OBJETIVOS
1.1.

OBJETIVO GENERAL
Poder identificar conceptos como tablas de verdad, conjuntos, lgica
proposicional y lenguaje simblico. Realizar este tipo de trabajos de
forma grupal teniendo un orden y responsabilidad por parte de cada
uno de los integrantes.

1.2.

OBJETIVOS ESPECIFICOS

Identificar los elementos que pertenecen y no pertenecen a un

conjunto.
Tener la capacidad de poder representar conjuntos en diagramas de
ven y llegar a una conclusin.
Resolver problemas mediante tablas de verdad

INTRODUCCION
El presente trabajo recopila los temas vistos en la Unidad 1 del curso de Lgica
Matemtica que incluye actividades sobre la teora de conjuntos y principios de
lgica. Se desarroll luego de realizar la lectura y anlisis del Mdulo del curso, y
durante su elaboracin tuvimos dificultades en la identificacin de proposiciones
simples de una expresin y su representacin simblica. Se emplearon
herramientas como los objetos virtuales de aprendizaje y el generador de tablas
de verdad.

TAREA No. 1 TEORIA DE CONJUNTOS

1. De los 168 alumnos de la UNAD, 110 estudian informtica, 90 Ingles y 20 ni

lo uno ni lo otro Cuntos estudian ambas materias?

Respuesta: Los estudiantes que ven ambas materias son 52 y es un

conjunto de UNION.

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?

a) Identificacin de conjuntos
A= Lgica
B= Informtica
C = Ninguno de los dos
D = alumnos de psicologa
b) Diagrama ven

No Lgica
51

No
Informtic
a 50

29 Ni lgica ni
informtica

c) Descripcin de la solucin del Problema

De los 105 estudiantes de psicologa (D) est compuesto por aquellos que
no tomaron el curso de lgica (BUC) ms los que no siguen informtica
(AUC) y algunos no siguen ni lgica ni informtica (C).

Cuantos alumnos toman solo uno de esos cursos (nuestra incgnita) son los
alumnos totales (D) menos los que hablan los dos idiomas (AB)

ABC=105

BC=AB=51

AC=AB=50

C=29

AB=ABCC

AB=76

A+B+CAB=105
B+CAB=51
B+(A+CAB)=105
AB=B+C51

A+BAB=76
A+CAB=50
B+50=105

B= 105-50

B=55

AB=33

33 estudiantes toman solo uno de esos cursos

3. En una encuesta realizada a un grupo de 300 docentes de la UNAD, se

conoci que: 210 hablan ingls, 110 hablan francs y 12 ninguno de los 2
idiomas Cuantos docentes no hablan los 2 idiomas?

Respuesta: La cantidad de Docentes de la UNAD que no habla

ninguno de los 2 idiomas es de un total de 268 Docentes y es un
conjunto de UNION.

4. En la UNAD somos 150 Docentes, de ellos 92 viajaron al Congreso de

Ingenieras 14 presentaron ponencias, 36 presentaron artculos y 12
participaron en las 2 modalidades Cuntos docentes no mostraron
produccin acadmica?

Respuesta: La cantidad de Docentes que no tuvieron participacin en

el congreso fue un total de 44 y es un conjunto de UNION.

TAREA No.2 TEORIA DE LA APLICACION DE CONJUNTOS

1. Resuelve el siguiente Diagrama de Venn de acuerdo a la informacin
que se requiere:

2. Cuntos estudiantes pertenecen a los cursos Prcticos, Metodolgicos

y tericos a la vez?
Respuesta: 4 Estudiantes ven los 3 cursos a la vez

3. Cuantos estudiantes pertenecen solo a los cursos prcticos?

Respuesta: 45 Estudiantes pertenecen solo al curso practico

4. Cuntos estudiantes pertenecen solo a los cursos tericos?

Respuesta: 23 Estudiantes pertenecen solo al curso teoricos

5. Cuntos estudiantes pertenecen solo a los cursos prcticos y

Metodolgicos pero no a los tericos?
Respuesta: (45+8+32)= 85 Estudiantes pertenecen solo a los cursos
prcticos.

6. Cuantos estudiantes no pertenecen a los cursos prcticos?

Respuesta: (23+6+32+7) = 68 No pertenecen a los cursos practicos

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

2.3 EXTENSION Y COMPRENSION DE CONJUNTOS

Region Andina: Antioquia, Boyaca,Caldas, Cundinamarca, Huila, Norte de
Santander, Quindio, Risaralda, Santander y Tolima.
Region Caribe: Atlantico, Bolivar, Cesar, Cordoba, La Guajira, Magdalena, San
Andres, Providencia, Santa Catalina y Sucre.

Region de la Amazona: Amazonas, Caquet, Guanina, Guaviare, Putumayo y

Vaups.
Regin Pacfica: Cauca, Choc, Nario y Valle del Cauca.
Regin de la Orinoqua (Llanos Orientales) : Arauca, Casanare Meta y
Vichada.
2.3.1 DEFINICIN POR COMPRENSIN DE LOS SIGUIENTES CONJUNTOS :
A. { Cauca, Choc, Nario, Valle del Cauca, Arauca, Casanare Meta y
Vichada.}
Respuesta: El conjunto no esta definido ya que contiene departamentos de la
Regin Pacfica y de la Regin Orinoquia.
B. { Atlantico, Bolivar, Cesar, Cordoba, La Guajira, Magdalena, San
Andres, Providencia, Santa Catalina y Sucre}
Respuesta: {Los departamentos de la Regin Caribe}
C. { Amazonas, Caquet, Guanina, Guaviare, Putumayo y Vaups. }
Respuesta: {Los departamentos de la Regin de la Amazona}
2.3.2 DEFINICIN POR EXTENSIN DE LOS SIGUIENTES CONJUNTOS :
a. A= {Departamentos de la Region Andina}
Respuesta: A= {Antioquia, Boyaca,Caldas, Cundinamarca, Huila, Norte de
Santander, Quindio, Risaralda, Santander y Tolima}
b. P= {Departamentos de la Region Pacfica}
Respuesta: P= {Antioquia, Boyaca,Caldas, Cundinamarca, Huila, Norte de
Santander, Quindio, Risaralda, Santander y Tolima}
c. O = {Departamentos de la Region de Orinoqua }
Respuesta: O= { Arauca, Casanare Meta y Vichada.}
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

P: Si quieres progresar debes estudiar
Q: Ahorrar para el futuro
P: V
P: F

Q: V
Q: F

(pq)
p

T
T
F
F

T
F
T
F

(pq)
T
F
F
F

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

robot.
P: No puedes daar a un ser humano
Q: Permitir que sufra dao si eres un robot
P: V
P: F

Q: V
Q: F

( p V q)
p

T
T
F
F

T
F
T
F

( p V q)
T
F
T
T

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

P: O viajamos en el da
Q: Lo hacemos por la noche
P: V
P: F

Q: V
Q: F

(pVq)
p

T
T
F
F

(pVq)

T
F
T
F

T
T
T
F

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

P: Es necesario ser responsable
Q: Dedicado para estudiar ingeniera
(pq)
p

T
T
F
F

T
F
T
F

5. Si
quieres llegar temprano madruga mas

(pq)
T
F
F
F

P: Si quieres llegar temprano madruga ms

p
T
F

p
F
T

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

P: La lgica es condicin necesaria
Q: suficiente para interpretar una lectura
(pq)
p

T
T
F
F

T
F
T
F

(pq)
T
F
F
F

7. Los
habitantes del campo progresan si solo si tienen servicios pblicos y una
vivienda adecuada.
P: Los habitantes del campo progresan
Q: Tienen servicios pblicos
R: Una vivienda adecuada.
(pq)r
p
T
T
T
T
F
F
F
F

q
T
T
F
F
T
T
F
F

r
T
F
T
F
T
F
T
F

(pq)r
T
F
F
F
F
F
T
F

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

verdadera.

P: El conector lgico o es verdadero

Q: Alguna de las proposiciones es verdadera.
(pq)
p

T
T
F
F

T
F
T
F

(pq)
T
F
F
T

9. O
trabajas en la obra y eres ingeniero o trabajas en el campo y eres
agrnomo.
P: O trabajas en la obra
p

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

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

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

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

Q: Eres ingeniero
R: Trabajas en el campo
S: Eres agrnomo
(pq)(rs)

(pq)(rs)
F
T
T
T
T
F
F
F
T
F
F
F
T
F
F
F

10. Si te portas bien, el domingo pediremos arroz chino o pizza.

P: Si te portas bien, el domingo pediremos arroz chino
Q: pizza.
(pVq)
p
T
T
F
F

q
T
F
T
F

(pVq)
T
T
T
F

TAREA 4 METODO CIENTIFICO

METODO CIENTFICO

Es un mtodo de
investigacin con base
en lo emprico y la
medicin, que se
sustenta en dos grandes

Sigue una serie

de 6 pasos

Tesi
s
H
i
p

Reproducibili
dad

Demostrac
in /
Refutacin

Experi
mentac
in

Induccin

Observa
cin

Experimenta
cin
Hiptesis

Este pilar en el que se

soporta el mtodo
cientfico, hace referencia
a que cualquier
experimento realizado por
un investigador, siguiendo
las mismas variables
establecidas en el
experimento original, debe
poder ser replicado por
una segunda persona
obteniendo resultados
similares a los del
experimento original. Esto
con el fin de poder realizar
una verificacin de los
resultados obtenidos en el

Refutabilida
d

Este pilar en el
que se soporta el
mtodo
cientfico, hace
referencia a que
la hiptesis
planteada y la
cual se desea
demostrar
mediante
experimentacin
, debe poder ser
falseada o
refutada, es
decir, que
mediante el
planteamiento
de un
experimento que
d resultados
diferentes a los
predichos por la
hiptesis
original,
demostraran

Ejemplo:
Se quiere saber si la velocidad de cada libre de los objetos depende de
su masa. Para ello se dejan caer a la vez un bolgrafo y una hoja de
papel desde la misma altura, obteniendo como resultado que el bolgrafo
llega al suelo antes que la hoja de papel. Con esto podemos inducir que
la masa si influye en la velocidad de cada libre de los objetos ya que a
simple vista el bolgrafo tiene ms masa que la hoja de papel. Al medir
la masa de los dos objetos confirmamos que el bolgrafo tiene mayor
masa que la hoja de papel, por lo tanto tras una experimentacin y una
medicin deducimos que la masa si influye en la velocidad de cada libre
de los objetos. Pero esto es falso, ya que al realizar un segundo
experimento dejando caer dos hojas de papel con igual masa, pero una
arrugada y una sin arrugar, observamos que la hoja de papel arrugada
llega al suelo primero que la que no fue arrugada, por lo tanto la
hiptesis inicial en la cual la masa si influa en la velocidad de cada libre
de un objeto, resulto ser una hiptesis falsable, ya que mediante el
planteamiento de un segundo experimento pudimos demostrar que la
hiptesis planteada era errnea.

CONCLUSIONES

Nos ensea la importancia de dar opiniones a los temas de nuestros

compaeros hacer aportes significativos.

La lgica nos ofrece mtodos que ensean cmo elaborar proposiciones,

evaluar sus valores verdaderos o falsos.

Determina si las conclusiones se han deducido correctamente a partir de

proposiciones supuestas.
Un argumento ldico es un razonamiento que parte de una serie de
enunciados llamado premisas que se pueden llegar a un resultado llamado

conclusin
Con base a este tipo de trabajos podemos concluir que son de gran utilidad
en el campo de las matemticas, ya que es una herramienta importante ya
que nos ayuda estudiar los conceptos que resultaban complejas.

Referencias bibliogrficas

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

Gaitn, M.P. (2014). Lgica proposicional. Cali, Valle.
Acevedo, G. (2012). Mdulo Lgica Matemtica. Medelln, Antioquia.
Tabla de verdad. http://logica-matematica-ucphectorbuitrago.blogspot.com.co/p/tablas-de-verdad.html