LOGICA MATEMATICA

TRABAJO COLABORATIVO 1

SANDRA VICTORIA RIVERA CORREA 30.383.820

CAROLINA RIASCOS BARRERA 29.683.609
SANDRA VIVIANA GRUESO 29.677.644

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

2015

TABLA DE CONTENIDO

INTRODUCCIN__________________________ _ 3
OBJETIVOS_______________________________ _4
TAREA 1

____________ ___________ 5

TAREA 2

___ _________ ___________ 7

TAREA 3

____ ________ ___________ 9

TAREA 4

___ _________ ___________ 12

TAREA 5

_____ _______ ___________ 13

CONCLUSIONES____________________________15
REFERENCIAS BIBLIOGRFICAS____ _

__16

INTRODUCCIN

En la poca moderna la lgica filosfica y la lgica matemtica se encontraron de tal

manera que las tautologas y la tabla de la verdad han servido no solamente para elaborar
planteamientos que interpretan las circunstancias de las vivencias de la humanidad; si no
tambin han sido muy tiles como fundamento de innumerables procesos cientficos con
base numrica.
El aprendizaje de la lgica matemtica es tan fundamental para los cientficos que se
dedican a la matemtica pura, la fsica, la teora de probabilidades, la estadstica, as como
para aquellas personas cuya profesin es la administracin, la medicina, el derecho, y las
humanidades.
El presente trabajo pretende ordenar algunas ideas al respecto por lo cual luego de definir
los objetivos procederemos a estructurar un contenido con el fin de sacar conclusiones
relevantes de gran utilidad para nosotros como administradores.

OBJETIVOS

Consolidar conceptualmente la teora de conjuntos y la lgica proposicional con el

fin de abordar de manera solvente los problemas que se nos plantean en la realidad,
en un lenguaje cotidiano y literal para mejor comprensin y descubrir las soluciones
y conclusiones verdaderas que nos permitan actuar con certeza.

Adquirir capacidad de abstraccin que permita a partir de textos o anlisis de la

realidad sintetizar proposiciones que nos sirvan para elaborar procesos lgicos y
tablas de verdad de gran utilidad para el razonamiento y elaboracin de hiptesis
cientficas y teoras administrativas en otros campos.

Desarrollar una tcnica que nos permita rpidamente a partir de proposiciones llegar
a conclusiones relevantes de gran utilidad para el ejercicio profesional.

Identificar el concepto de la teora de conjuntos y sus operaciones, manejo de

proposiciones, conversin del lenguaje natural al lenguaje simblico y manejo de
tablas de verdad.

TAREA 1

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD, los
amantes de la msica de Juanes son 15; mientras que los que nicamente gustan de la
msica de Shakira son 20, Cuntos son fanticos de los dos artistas si 10 de los
encuestados, entre los 25 que no son fanticos de Shakira, afirman ser fanticos de Juanes?
La solucin de este problema debe contar con las siguientes etapas:

a). Describe la necesidad o problema a resolver

En esta actividad se debe establecer los elementos pertenecientes a los conjuntos U, A, B
donde la idea principal es hallar el nmero correspondientes a los estudiantes fanticos de
Juanes y Shakira y los que fueron encuestados pero no son fanticos de ninguno de los dos.

b).Identifica los conjuntos presentes en el problema

U = {10, 20, 5, 15}
A = {10,5}
B = {20,5}
C = {15}

c). Elabora un diagrama de Venn

d). Describe la solucin del problema.

U= {50 Estudiantes encuestados de la UNAD}
A= {10 Son fanticos solo de Juanes}
B= {20 Son fanticos solo de Shakira}
AnB= {5 son fanticos de ambos artistas}
U= (AnB)

e) Argumenta la validez de tu respuesta.

Al trabajar el conjunto universal se denota que todos los elementos del sistema estn
incluidos en el, para encontrar cuantos estudiantes son fanticos de los dos artistas fue
necesario llegar a la intercesin que denota la unin de los conjuntos A y B y posterior a
esta unin nos arroja el resultado de los estudiantes encuestados que no son fanticos de
ninguno de los dos artistas pero estn incluidos porque tambin fueron encuestados.

TAREA 2
Considera el siguiente diagrama de Venn y contesta los diferentes literales:
Literales a resolver:

Literales a resolver:

a). Cuantos estudiantes Aristotlicos son Platnicos.

R/. Uno
b). Cuales estudiantes de filosofa son Platnicos
R/.DIEGO MARCELA SILVIA
c). Cuales estudiantes de filosofa son Aristotlicos
R/. ANA SILVIA
d). Cuales estudiantes de filosofa no son Aristotlicos
R/. DIEGO MARCELA CARLOS - CAMILO
e). Cuales estudiantes de filosofa no son Platnicos
R/.ANA CARLOS - CAMILO
7

f). Cuales estudiantes son Platnicos Aristotlicos

R/. DIEGO MARCELA SILVIA ANA
g). Cuales estudiantes son Platnicos y Aristotlicos
R/. SILVIA
h). Cuales estudiantes son Platnicos pero no son Aristotlicos
R/. DIEGO - MARCELA
i). Cuales estudiantes son Aristotlicos pero no son Platnicos
R/. ANA
j). Cuales estudiantes no siguen ninguna corriente filosfica
R/. CARLOS CAMILO
k). Cuales estudiantes siguen al menos una corriente filosfica
R/.ANA DIEGO MARCELA -SILVIA
l). Cuales estudiantes siguen por lo menos una corriente filosfica
R/. ANA DIEGO MARCELA -SILVIA
m). Cuales estudiantes siguen dos corrientes filosficas
R/. SILVIA
n). Cuales estudiantes siguen slo una corriente filosfica
R/. DIEGO MARCELA ANA
0). Cuantos estudiantes siguen ms de dos corrientes filosficas
R/. NINGUNO

TAREA 3
El ejercicio consiste en transformar expresiones dadas en lenguaje natural al lenguaje
simblico, y posteriormente, construir la correspondiente tabla de verdad. Miremos el
ejemplo propuesto por Alfredo De ao (1974) de un fragmento de Kafka: Ese lapso, corto
quiz si se le mide por el calendario, es interminablemente largo cuando, como yo, se ha
galopado a travs de l El anlisis lgico de esta expresin es el siguiente:
(P Q) ^ (R ~ q) es decir, la expresin equivalente en la que se evidencian los
conectivos lgicos es:
Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha galopado,
como yo, a travs de l, entonces es irremediablemente largo.

Ejercicios a resolver:

a). Bien pensado, no hay por qu ser bien pensante

Bien pensado, entonces no hay porque ser bien pensante.
Premisas

P: Bien pensado.
Q: Bien pensante

(p~q)

p~q

F
9

b) En caso de que no sople el viento, entonces podremos navegar a vela.

Premisas

P: En caso de que no sople el viento

Q: Podremos navegar a vela

(pq)

c).

pq

Si alguien escribe como Borges, entonces puede disculprsele todo.

Premisas

P: Si alguien escribe como Borges

Q: Puede disculprsele todo

p => q
P
V
V
F
F

Q
V
F
V
F

PQ
V
F
V
V

10

d). La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la

posesin de su bien propio y ha trasferido a si el dominio de s misma. (Sneca).
Premisas

P:La vida es larga

Q:La vida es plena
R:El alma ha recuperado la posesin de su bien propio
S:Ha trasferido a si el dominio de s misma

La vida es larga y es plena entonces se hace plena cuando el alma ha recuperado la

posesin de su bien propio y ha trasferido a si el dominio de si misma.
(p^q) q (r^s)

(p^q)

(r^s)

11

(p^q)

q(r^s)

TAREA 4
Realice la lectura El mtodo cientfico que se encuentra en el siguiente enlace
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_17_el_mtodo_cie
ntfico.html y plantee un ejemplo en el cual se identifiquen el proceso de deduccin e
induccin en un proceso de investigacin cientfica. Posteriormente plantee dos ejemplos
de enunciados falseables.
Ejemplo Deductivo
Todos los estudiantes de primer grado ven clase de ingls con la profesora Andrea.
La profesora Andrea ensea ingles a Jos Luis de primer grado.
La profesora Andrea ensea ingles a Camilo de primer grado.
Todas las plantas necesitan de la fotosntesis.
Las flores necesitan de la fotosntesis.
Las matas necesitan de la fotosntesis.
Los arboles necesitan de la fotosntesis.
Todos los metales producen electricidad.
La plata y el cobre son metales
Por lo tanto la plata y el cobre producen electricidad
Todas las frutas duces contienen vitamina A
12

Los melocotones son dulces

Por lo tanto los melocotones contienen vitamina A
Ejemplo Inductivo
La gallina de Kati pone huevos, la gallina de Susa pone huevos, la gallina de Nstor pone
huevos, por lo tanto todas las gallinas ponen huevos.
Mi bicicleta tiene dos ruedas, la bicicleta de mi hermano tiene dos ruedas, la bicicleta de
Nelson tiene dos ruedas, por lo tanto todas las bicicletas tienen dos ruedas.
Helen y Juan tienen tres hijos; Ana, Pedro y Rita.
Ana es morena, Pedro es moreno, Rita es morena
Por lo tanto todos los hijos de Helen y Juan son morenos
TAREA 5
Si la mercanca llega y la maquinaria funciona, no incumplimos. Si entregamos a tiempo
conservamos el cliente y el cliente paga. Si el cliente paga todos reciben su dinero.
Incumplimos, Qu puede concluirse sobre recibir el dinero? Para esta tarea el equipo debe
entregar las siguientes etapas:

a) Identifica las proposiciones simples y declralas (Asigna letras como p, q,..)

b) Identifica las premisas del problema.
c) Utiliza las leyes de inferencia para poder concluir sobre la proposicin que se pide en el
problema. Para resolver este ejercicio debes estudiar las leyes de inferencia.

R/. 1 Sandra
P: La mercanca llega
Q: Entregamos a tiempo
R: Conservamos el cliente

(p ^ q)=> r
Si la mercanca llega y entregamos a tiempo entonces el cliente paga.
R/ 2 Carolina

13

Si la mercanca llega y la maquinaria funciona, entonces no incumplimos. Si entregamos a

tiempo entonces conservamos el cliente y el cliente paga. Si el cliente paga entonces todos
reciben su dinero.
Premisas

P: Si la mercanca llega y la maquinaria funciona entonces no incumplimos.

Q: La maquinaria funciona
R: No Incumplimos
S: Si entregamos a tiempo
T: Conservamos el cliente y el cliente paga
U: Todos reciben su dinero

(P^Q) ~R (ST) ^ T} (TU)} R

Conclusin
Entonces no llego la mercanca.
~P
{{(P^Q) ~R (ST) ^ T} (TU)}R~P

14

CONCLUSIONES
A travs de la ejecucin de los ejercicios se puede concluir que es muy importante para
nuestras carreras la Lgica Matemtica y en particular la Teora de Conjuntos, pues esta
nos ayuda a tomar decisiones en nuestras labores cotidianas y ms importante en nuestro
trabajo pues es una herramienta que nos ayuda a clasificar, dividir, reunir y agrupar
elementos y as analizar y estudiar las relaciones que se pueden dar con dichos grupos.

La lgica matemtica tiene muchas variables en la forma; pero con un contenido

nico.

15

REFERENCIAS BIBLIOGRAFICAS

http://datateca.unad.edu.co/contenidos/551105/modulo_exe_2013/leccin_17_el_mtodo_cie
ntifico.html
http://www.slideshare.net/patricialeguizamon397/modulo-logica-matematica
http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones
https://www.youtube.com/watch?v=uZ3zZpJOoF4
https://www.youtube.com/watch?v=9eOA7bKjkOI

16