Professional Documents
Culture Documents
Fase Grupal
Introduccin
El desarrollo del presente trabajo se oriento a la Unidad tres del curso de Pensamiento
Lgico y Matemtico, aqu se aplicaron algunas leyes de inferencia, se identifico la forma
razonamiento a la que pertenece el problema planteado (inductivo y deductivo), la identificacin
de premisas compuestas y simples, el uso de conectores lgicos y la construccin de tablas de
verdad.
Por lo tanto el trabajo es el resultado de una fase individual donde el estudiante se
contextualizo sobre las leyes de inferencia, ya en la fase grupal se desarrollo un problema
planteado utilizando la inferencia lgica para demostrar la validez de un argumento mediante las
tablas de verdad y las leyes de inferencia.
Objetivos
Identificar y comprender las leyes de inferencia y los tipos de razonamiento que existen.
Fortalecer los conocimientos adquiridos sobre la inferencia lgica y lgica proposicional.
Fomentar la participacin e integracin de los miembros del grupo colaborativo,
buscando la solucin al problema planteado.
Problema
Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lgico y
Matemtico, y se da cuenta que debe realizar muy bien las tareas faltantes para alcanzar a ganar
el curso, observa que est a punto de abrirse el foro del trabajo Colaborativo Tres y entonces se
hace la siguiente autorreflexin: Si soy disciplinada en mis estudios entonces entrego mis
aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi tutor. Si me dedico a
rumbear, pasear, entonces no entrego mis aportes significativos a tiempo. Si en las noches veo
video-tutoriales del tema entonces no necesito resolver mis inquietudes del tema con mi tutor.
Soy disciplinada en mis estudios y en las noches veo video- tutoriales del tema. Por lo tanto
entrego mis aportes significativos a tiempo.
Solucin:
La estructura del enunciado corresponde a razonamiento inductivo.
p = soy disciplinada en mis estudios
q = entrego mis aportes significativos a tiempo
r = resuelvo mis inquietudes del tema con mi tutor
s = me dedico a rumbear, pasear
t = en las noches veo video-tutoriales
Lenguaje natural:
Premisa 1:
Premisa 2:
Premisa 3:
Premisa 4:
Soy disciplinada en mis estudios y en las noches veo videotutoriales del tema.
Conclusin:
Lenguaje formal:
Premisa 1: p (q v r)
Premisa 2: s ~q
Premisa 3: t ~r
Premisa 4: p t
Conclusin: q
Formula general:
{[p (qr) ] (sq) (tr) (pt)}q
~q
~r
(qr
)
[p (qr) ]
(sq)
(tr
)
(pt)
{[p (qr) ]
(sq)
{[p
(qr) ]
(sq)
(tr)
{[p (qr)
] (sq)
(tr)
(pt)}
{[p (q
(sq)
(tr)
(pt)}q
Tautologa
La tabla anterior nos demuestra que el razonamiento es vlido ya que nos arroja una tautologa.
Otra manera de utilizar las tablas de verdad es evaluando la existencia del caso en que premisas
sean verdaderas y la conclusin sea falsa. Se tiene entonces la siguiente tabla.
La siguiente tabla muestra que no existe el caso en que las premisas sean verdaderas y la
conclusin sea falsa, por lo tanto el razonamiento es vlido.
P1: Premisa 1
P2: Premisa 2
P3: premisa 3
P4: Premisa 4
P1
P2
P3
P4
Conclusin
~q
~r
qr
[p (qr) ]
(sq)
(tr)
(pt)
Premisa 1: p (q v r)
Premisa 2: s ~q
Premisa 3: t ~r
Premisa 4: p t
Conclusin: q
Premisa 5: (p t) p (Simp)
Premisa 6: (p t) t (Simp)
Premisa 7: [(t ~r) t] ~r (MPP)
Premisa 8: {[(p q) v r] ~r} (p q) (MTP)
Premisa 9: [(p q) p] q
Estas leyes de inferencia nos demuestran que el razonamiento es vlido, ya que se llega a la
misma conclusin.
Conclusiones
Referencias