Professional Documents
Culture Documents
Administracin de Empresas
Curso Lgica Matemtica
1
Trabajo Colaborativo 1
Lgica Matemtica
Tutora
Yeimy Julieth Moreno
SHAKIRA
10
10
20
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
Camilo
Cuales estudiantes de filosofa no son Platnicos. RTA: Silvia, Carlos y Camilo
Cuales estudiantes son Platnicos Aristotlicos. RTA: Diego, Marcela y Silvia
Cuales estudiantes son Platnicos y Aristotlicos. RTA: Silvia
Cuales estudiantes son Platnicos pero no son Aristotlicos. RTA: Diego y Marcela
Cuales estudiantes son Aristotlicos pero no son Platnicos. RTA: Ninguno
Cuales estudiantes no siguen ninguna corriente filosfica. RTA: Camilo y Carlos
Cuales estudiantes siguen al menos una corriente filosfica. RTA: Diego y Marcela
Cuales estudiantes siguen por lo menos una corriente filosfica. RTA: Diego, Marcela y
Silvia
m) Cuales estudiantes siguen dos corrientes filosficas. RTA: Silvia
n) Cuales estudiantes siguen slo una corriente filosfica. RTA: Diego y Marcela
o) Cuantos estudiantes siguen ms de dos corrientes filosficas. RTA: Ninguno
Proposiciones y tablas de verdad.
Ejercicios a resolver:
a) Bien pensado, no hay por qu ser bien pensante.
Bien pensado, ENTONCES no hay por qu ser bien pensante
pq
q
V
F
V
F
~q
F
V
F
V
p ~q
F
V
V
V
q
V
F
V
F
P Q
P Q
V
F
F
V
q
V
F
V
F
pq
V
F
V
V
PQ
RS
RSQ
( P Q) [ ( RS
V
V
F
F
V
F
V
F
V
V
F
F
V
F
F
F
V
F
F
V
V
F
V
F
V
V
V
V
Q)]
V
F
V
V
Deduccin e induccin.
Deduccin
1) Los colombianos son inteligentes y aplicados. Por lo cual Ximena es inteligente y muy
aplicada.
2) El nido esta sobre el rbol. El rbol est en el suelo; por lo tanto, el nido esta sobre el
suelo.
Induccin
1) Cada uno de los nios de la escuela dice tener ms de seis aos. Todos los nios en la
escuela son mayores de seis aos.
2) Todos los das del mes de Diciembre de los ltimos aos ha llovido en Colombia. Por lo
tanto el prximo ao en diciembre tambin llover.
Enunciados falseables
1) Todas las sillas son rojas
2) En la semana santa habr mucho invierno segn el pronstico del IDEAM
3) Todos los jugadores de baloncesto son blancos
4)
Inferencias Lgicas.
CONCLUSIONES
La lgica matemtica es una rama de la matemtica que es muy til en el desarrollo de procesos
relacionados con el pensamiento dando resultado y sentido lgico a ciertos problemas
dificultades. Muchas veces los seres humanos utilizamos nuestro razonamiento con las oraciones
y frases que son estudio de esta rea. Las inferencias de tipo lgico son cotidianas y muchas
veces las hacemos involuntariamente. El uso de la lgica posee ciertas ventajas y desventajas por
lo tanto es necesario escogerlas, analizarlas y escoger segn el caso la alternativa que mejor nos
parezca.
Es importante resaltar que la lgica tiene mtodos que ensean sobre la elaboracin de
proposiciones, la evaluacin de su valor de verdad, y la determinacin de los resultados o
conclusiones y su veracidad. Las proposiciones son elemento esencial en la lgica matemtica; a
su vez un argumento lgico es un razonamiento que inicia con enunciados que su llamados
premisa y que segn el proceso dan como resultado final la conclusin de la inferencia.
Tambin puedo concluir que el diagrama de Venn es una de las estructuras ms sencillas que nos
permiten comprender la relacin entre conjuntos.
REFERENCIAS
Lpez, L.J. Lgica para todos (2 Edicin). Recuperado de:
http://www.slideshare.net/luisjorgel63/lgica-para-todos-3053431?next_slideshow=2
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
Rubio, G. (2014). Teora de conjuntos. Ibagu, Colombia. Recuperado de:
http://www.slideshare.net/patricialeguizamon397/teoria-de-conjuntosyproposiciones
Rodrguez B, G. Predicados y cuantificadores (2014). Recuperado de:
https://www.youtube.com/watch?v=gVzEIUBetWM