LOGICA MATEMATICA

TRABAJO COLABORATIVO 1

Presentado por:
ANDREA MILENA ENCISO: pendiente
YURY ANDREA ACEVEDO: pendiente
TOBIAS ARIZA HURTADO CODIGO: 1033707422
JHON JAVIER GARCIA: pendiente
JISETH FERNANDA LEAL: pendiente

GRUPO
90004B_220

TUTOR
OSCAR EDUARDO VIDAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Marzo 2015

INTRODUCCIN
Mediante el proceso de participacin en el foro se toma respuesta a las diferentes tareas
propuestas por la gua de trabajo encontrando bases para solucin de problemas con conjuntos
numricos, la forma en la que se debe aplicar la teora de los conjuntos, identificar
proposiciones, tablas de verdad, deduccin, induccin e inferencias lgicas. A lo largo del
trabajo se solucionaran problemas relacionados con los temas anteriormente mencionados, de
manera que en conjunto aprendamos y fortalezcamos nuestra lgica matemtica.

OBJETIVOS

1. Con la ayuda de la lgica matemtica ayudar a la solucin e interpretacin de conjuntos y

plasmar esta en diagraman de Venn.
2. Hallar la solucin de problemas propuestos de proposiciones y tablas de verdad.
3. Entender el significado de deduccin e induccin para su aplicacin en la solucin de
interpretaciones de enunciados.
4. Tener la capacidad de pasar del lenguaje comn al leguaje de smbolos para un mayor
anlisis e interpretacin.

TAREA1: Aplicacin de la Teora de Conjuntos Numricos

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?
a) Describe la necesidad o problema a resolver
La necesidad del problema a resolver es identificar la cantidad de fanticos de los dos artistas
(Juanes y Shakira).
b) Identifica los conjuntos presentes en el problema
J = {x / x Fanticos Juanes}
S = {x / x Fanticos Shakira}
N= {x / x Fanticos de los dos artistas}
c) Diagrama de Venn
U
J

15

A = {x / x Fanticos Juanes}
B = {x / x Fanticos Shakira}
U = {x / x Fanticos de ningn artista}
d) Describe la solucin del problema.
Se identifica que de los 50 encuestados, 15 de estos les gusta la msica de Juanes, 20 gustan de
la msica de Shakira, 5 son fanticos de los dos artistas y 15 no les gusta la msica de estos
artistas
e) Argumenta la validez de tu respuesta.
La respuesta es vlida debido por que en el diagrama se ve que los resultados son exactos a la
totalidad de encuestados y se observa las cantidades fans de cada artista.
Tarea 2. Aplicacin de la teora de conjuntos:
Considera el siguiente diagrama de Venn y contesta los diferentes literales:

Literales a resolver:
a) Cuantos estudiantes Aristotlicos son Platnicos.
RTA: 1, Silvia
b) Cuales estudiantes de filosofa son Platnicos
RTA: Diego, Marcela y Silvia
c) Cuales estudiantes de filosofa son Aristotlicos
RTA: Ana y Silvia
d) Cuales estudiantes de filosofa no son Aristotlicos
RTA: Diego y Marcela
e) Cuales estudiantes de filosofa no son Platnicos
RTA: Ana
f) Cuales estudiantes son Platnicos Aristotlicos
RTA: Diego, Marcela y Ana
g) Cuales estudiantes son Platnicos y Aristotlicos
RTA: Silvia
h) Cuales estudiantes son Platnicos pero no son Aristotlicos
RTA: Diego y Marcela
i) Cuales estudiantes son Aristotlicos pero no son Platnicos
RTA: Ana
j) Cuales estudiantes no siguen ninguna corriente filosfica
RTA: Carlos y Camilo
k) Cuales estudiantes siguen al menos una corriente filosfica
RTA: Diego, Marcela, Ana y Silvia
l) Cuales estudiantes siguen por lo menos una corriente filosfica
RTA: Diego, Marcela y Ana
m) Cuales estudiantes siguen dos corrientes filosficas
RTA: Silvia
n) Cuales estudiantes siguen slo una corriente filosfica
RTA: Diego, Marcela y Ana
o) Cuantos estudiantes siguen ms de dos corrientes filosficas
RTA: Ninguno

Tarea 3. Proposiciones y tablas de verdad.

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.
P= Bien pensado.
q= No hay por qu ser bien pensante.
q<=>p
No hay por qu ser bien pensante si solo si es bien pensado
p
v
v
f
f

q
v
f
v
f

q<= >p
v
f
f
v

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

p= En caso de que sople el viento
q= Podremos navegar a vela
p=>q
En caso de que sople el viento, entonces podremos navegar a vela.
p
v
v
f
f

q
v
f
v
f

p= >q
v
f
v
v

c) Si alguien escribe como Borges, entonces puede disculprsele todo.

p= Si alguien escribe como Borges
q= Puede disculprsele todo
q<= >p

Puede disculprsele todo si solo si alguien escribe como Borges.

p
v
v
f
f

q
v
f
v
f

q<= >p
v
f
f
v

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

su bien propio y a transferido a si el dominio de s misma.
p= Si es plena la vida
q= La vida es larga
r= El alma a recuperado la posesin de su bien propio
s= A transferido a si el dominio de s misma
(p=>q) (r=>p) s
Si la vida es plena, entonces la vida es larga y si el alma ha recuperado la posesin de su
bien propio, entonces la vida es plena y ha transferido a si el dominio de s misma.
p
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

q
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

r
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f

s
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

(p=>q) (r=>p) s
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v

Tarea 4. Deduccin e induccin.

Proceso de deduccin ejemplo:
Jpiter es el planeta ms grande del Universo, este tiene 63 lunas y un sistema de anillos dbil,
mientras que Neptuno tiene 13 lunas y un dbil sistema de anillos.

La Tierra tiene un dimetro de 12.756 km, Jpiter tiene un dimetro de 143.000 km, Marte un
dimetro de 6.790 km, Venus un dimetro de 12.100 km y Saturno un dimetro de 120.500 km;
de esto podemos concluir que Jpiter es el planeta ms grande del Universo.
Enunciados falsiables ejemplos:
1. Todos los planetas giran en una rbita.
2. Todos los planetas tienen el mismo dimetro que el sol.
Tarea 5. Inferencias Lgicas.
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.

CONCLUSIONES
Mediante los problemas solucionados logramos una interpretacin lgica, entendimiento y
reconocimiento de la importancia de la aplicacin de los temas vistos como teora de conjuntos,
proposiciones, tablas de verdad, deduccin e induccin e inferencia lgicas con el
acompaamiento de nuestro tutor para desarrollo optimo de los problemas propuestos.

REFERENCIAS

Aplicacin de teora de conjuntos: https://youtu.be/6W6zDMXPJW0

Reglas de inferencia: https://youtu.be/U2F4gS-Lzmc
Wikipedia - Tablas de verdad
http://molinalepistemologia.blogspot.com/ - Deduccin e Induccin