GRUPO: 90004_585

TRABAJO COLABORATIVO I

PRESENTADO A:
FERNANDO ULPIANO PANTOJA

PRESENTADO POR:
HERNAN JAIME RIOS 9736633
JAIRO ALONSO MARULANDA AGUDELO 9739140
VICTOR HUGO LONDOÑO

GRUPO: 90004_585

ESCEULA DE CIENCIAS BASICAS, TECNOLOGIAS E INGENIERIAS

LOGICA MATEMATICA
ARMENIA, QUINDIO
2015
 GRUPO: 90004_585

INTRODUCCION

El presente trabajo tiene como objetivo demostrar el grado de avance en el estudio

de la lógica matemática, comenzando desde las proposiciones lógicas, analizando
los diagramas de Venn, el uso de los conectivos lógicos, las tablas de verdad y las
inferencias lógicas.
En la primera parte usando diagramas de Venn representamos la lógica relacional,
posteriormente haremos uso de la representación simbólica, más adelante
mostraremos la diferencia entre proposiciones y no proposiciones, A continuación
identificaremos los conectivos lógicos y proposiciones simples presentes en cada
expresión, inmediatamente vemos la aplicación de las tablas de verdad y pera
finalizar clasificaremos enunciados e indicaremos si son verdaderos o falsos.
 GRUPO: 90004_585

OBJETIVOS

1. Resolver enunciados de la guía mediante tablas de verdad.

2. Comprender y analizar los diagramas de venn propuestos en la guía del

trabajo colorativo.

3. Daremos uso eficiente a los conectores lógico y las proposiciones simples.

 GRUPO: 90004_585

EJERCICIO 1

De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD,

los amantes de la música de Juanes son 15; mientras que los que únicamente
gustan de la música de Shakira son 20, ¿Cuántos son fanáticos de los dos artistas
si 10 de los encuestados, entre los 25 que no son fanáticos de Shakira, afirman ser
fanáticos de Juanes? La solución de este problema debe contar con las siguientes
etapas:
a) Describe la necesidad o problema a resolver

R: Un grupo que lo conforman 50 estudiantes de la universidad nacional abierta y a

distancia UNAD, se les realizo una encuesta acerca de cuál cantante era su
preferido, juanes o Shakira y cuales eran fanáticos de ambos.

b) Identifica los conjuntos presentes en el problema

R: S {SHAKIRA} J {JUANES} SUJ {Total de estudiantes} S∩J {Ambos artistas}

c) Elabora un diagrama de Venn.

 GRUPO: 90004_585

d) Describe la solución del problema.

R: mediante la encuesta se obtienen los datos con los que identificamos los
conjuntos, luego con la ayuda del diagrama de ven realizamos la explicación de los
resultados, los cuales nos muestran que 25 estudiantes son fanáticos de juanes, 20
son fanáticos de Shakira y 5 son fanáticos de ambos artistas, este último datos los
arroja la intersección entre los conjuntos S Y J.

e) Argumenta la validez de tu respuesta.

R: El problema muestra 20 estudiantes que solo les gusta Shakira, por lo tanto
pertenecen al conjunto S, luego quedan 30 estudiantes los cuales 25 les gusta
juanes y se instalan en el J y los 5 estudiantes que faltan son parte de le intersección
de los conjuntos, indicando que les gusta los dos cantantes.

EJERCICIO 2

Considera el siguiente diagrama de Venn y contesta los diferentes literales:

 GRUPO: 90004_585

a) Cuantos estudiantes aristotélicos son platónicos: 1, Silvia

b) Cuales estudiantes de filosofía son platónicos: Silvia, diego y marcela.
c) Cuales estudiantes de filosofía son aristotélicos: Ana, Silvia
d) Cuales estudiantes de filosofía no son aristotélicos: camilo, diego, marcela y
Carlos.
e) Cuales estudiantes de filosofía no son platónicos: Ana, Carlos, Camilo
f) Cuales estudiantes son platónicos o aristotélicos: diana, Diego y marcela.
g) Cuales estudiantes son platónicos y aristotélicos: Silvia
h) cuales estudiantes son platónicos pero no son aristotélicos: Diego y Marcela
i) Cuales estudiantes son aristotélicos pero nos son platónicos: Ana
j) Cuales estudiantes no siguen ninguna corriente filosófica: 0
k) Cuales estudiantes siguen al menos una corriente filosófica: Ana Marcela y
diego.
l) Cuales estudiantes siguen por lo menos una corriente filosófica: Silvia,
Marcela, Diego, Ana, carlos y camilo.
m) Cuales estudiantes siguen dos corrientes filosóficas: Silvia
n) Cuales estudiantes siguen solo una corriente filosófica: Diego, Marcela, Ana
Carlos y camilo.
o) Cuantos estudiantes siguen más de dos corrientes filosóficas: cero.
 GRUPO: 90004_585

EJERCICIO 3

El ejercicio consiste en transformar expresiones dadas en lenguaje natural al

lenguaje simbólico, y posteriormente, construir la correspondiente tabla de verdad.
Miremos el ejemplo propuesto por Alfredo De año (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 través de él” El análisis lógico de esta
expresión es el siguiente:
(p → q) ∧ (r → ~q) es decir, la expresión equivalente en la que se evidencian los
conectivos lógicos es:
“Si se le mide por el calendario, entonces ese lapso de tiempo es corto, y si se ha
galopado, como yo, a través de él, entonces es irremediablemente largo.”

Ejercicios a resolver:
1. Bien pensado, no hay por qué ser bien pensante.
2. En caso de que sople el viento, podremos navegar a vela.
3. Si alguien escribe como Borges, entonces puede disculpársele todo.
4. “La vida es larga si es plena; y se hace plena cuando el alma ha recuperado la
posesión de su bien propio y ha transferido a sí el dominio de sí misma”
(Séneca).

[(p ν q) Λ ~ p]→ q o [(p ν q) Λ ~ q ] → p ↔

1. Bien pensado, entonces no hay por qué ser buen pensante.
p= bien pensado q= buen pensante → p

p q
v v
v f
f v
f f
~q p→~q
f f
v v
f v
v v
 GRUPO: 90004_585

2. En caso de que sople el viento, si y solo si podremos navegar a vela.

p= sople el viento q= navegar a vela p ↔ q

p Q p↔q
v V v
v F f
f V f
f F v

3. Si alguien escribe como Borges, entonces puede disculpársele todo.

p= si escribe como Borges q= puede disculpársele de todo p→q

p Q p→q
v V v
v F f
f V v
f F v

4. “La vida es larga si y solo si es plena; y se hace plena cuando el alma ha

recuperado la posesión de su bien propio y ha transferido a sí el dominio de sí
misma” entonces se hace plena (Séneca).

p= La vida es larga q= Es plena r= Cuando el alma ha recuperado la posesión

de su bien propio s= Transferido así el dominio de sí mismo

(p↔ q) Λ [ (r Λ s) →q )]

p q r S p↔ q rΛs r Λ s→q (p↔ q) Λ [ (r Λ s) q )]

v v v V v v v v
v f v F f f v f
f v f F v f v v
f f f F v f v v
 GRUPO: 90004_585

EJERCICIO 4

Deducción e inducción

Realice la lectura “El método científico” que se encuentra en el siguiente enlace

http://datateca.unad.edu.c o/contenidos/551105/Modulo_exe_2013/leccin
_17_el_mtodo_cientfico.html y plantee un ejemplo en el cual se identifiquen el
proceso de deducción e inducción en un proceso de investigación científica.
Posteriormente plantee dos ejemplos de enunciados falseables.

Deducción e inducción. La deducción se emplea para mostrar que una teoría se

sigue de otra. La inducción consiste en inferir una regla general a partir de algunos
casos:

Deducción

1. "Los ingleses son puntuales." "Por tanto, William es puntual."

2. El libro está sobre la mesa. La mesa está sobre el piso; por lo tanto, el libro
está sobre el piso.

Inducción

1. Todos los primeros de Enero y por los últimos años ha llovido en Bogotá. Por
lo tanto, el próximo año en ese día, lloverá también.
2. Cada libro que he observado en la biblioteca tiene más de un año de
antigüedad. Todos los libros en la biblioteca tienen más de un año.

Enunciados falseables
1. El 31 de agosto habrá un eclipse de sol con base a los cálculos
2. Todos los goleros son negros
3. Todos los controles del televisor son pequeños.
 GRUPO: 90004_585

EJERCICIO 5

Inferencias Lógicas.
“Si la mercancía 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 decláralas (Asigna letras como p, q,..)
b) Identifica las premisas del problema.
c) Utiliza las leyes de inferencia para poder concluir sobre la proposición que se pide
en el problema.

Para resolver este ejercicio debes estudiar las leyes de inferencia.

Proposiciones simples:
P: La mercancía llega, la maquinaria funciona.
Q: Incumplimos
R: Entregamos a tiempo y el cliente paga.
S: Todos reciben su dinero.

Premisas del problema

1. P q
2. Q
3. Q r
4. R s

(𝑝 → 𝑞)~𝑞𝑣(𝑞 → 𝑟𝑣𝑟 → 𝑠)

Premisa mayor: la mercancía llega

Premisa menor: entregamos a tiempo y el cliente paga
Conclusión: todos reciben su dinero
 GRUPO: 90004_585

CONCLUSIONES

1. se realizó reconocimiento, comprensión y profundización de conjuntos mediante

los diagramas de Venn.

2. se plantearon ejercicios de sobre la construcción e interpretación de las diferentes

clases de proposiciones

3. inicie proceso de aplicación, verificación e interpretación de los conectivos

lógicos.

4. mediante los ejercicios planteados se realizó la solución mediante las tablas de

la verdad.
 GRUPO: 90004_585

REFERENCIAS.
 Gaitán, M.P. (2014). Introducción a la lógica. Cali, Valle. Recuperado de:
http://www.slideshare.net/MariaGaitan2/introduccin-a-la-lgica-42022687
 López, L.J. Lógica para todos (2ª Edición). Recuperado de:
http://www.slideshare.net/luisjorgel63/lgica-para-todos-
3053431?next_slideshow=2
 Rubio, G. (2014). Teoría de conjuntos. Ibagué, Colombia. Recuperado de:
http://www.slideshare.net/patricialeguizamon397/teoria-de-
conjuntosyproposiciones
