Pensamiento lgico Matemtico

Mnica Alejandra Echeverri Echeverri

Lgica proposicional, tablas de verdad en proposiciones

compuestas, razonamiento deductivo, razonamiento
inductivo, leyes de inferencia, validez.

Tutor
scar Jhonny Gmez

UNAD
ECSAH, Psicologa
Zona Caribe
2015

Fase 1: Produccin Individual

A continuacin se plantean tres problemticas estructuradas, en los cuales deben
utilizar los conceptos, propiedades analticas para dar una adecuada interpretacin
al enunciado, poder argumentar la estructura de planteamiento del problema y la
resolucin de cada situacin. Los problemas son:
Decidir utilizando las tablas de verdad y la aplicacin de las leyes de inferencia si
el argumento es o no vlido:

1. Los estudiantes del programa de Ingeniera de Alimentos de la UNAD, al

matricular el curso de Fsica General deben asistir al componente prctico.
Marcela hace el siguiente anlisis de la situacin que se le ha presentado al
conocer las fechas en que debe asistir. Si las prcticas de laboratorio son el
prximo domingo entonces asisto a la universidad. Si realizo los experimentos
entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el
informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No
obtengo un puntaje sumativo para la nota. Por lo tanto no realizo los experimentos
o las prcticas de laboratorio no son el prximo domingo.

Solucin:
Proposiciones simples:
p: La prcticas de laboratorio son el prximo domingo
q: Marcela asiste a la universidad
r: Realiza los experimentos
s: Entrega el informe de laboratorio
t: Buen puntaje sumativo para la nota

Premisas:
P1: p q
P2: r s

P3: (q s) t
Conclusion: r p
[(p q) (r s) (q s) t)] (r p)
Tabla de verdad:

(pq)

(rs)

(qs)

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

V
V
F
F
V
V
F
F

F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V

(qs)t
)

(rp
)

Demostracin de leyes de inferencia:

2. Laura est en su casa el domingo y son las ocho de la noche, cansada de un

buen da de paseo quiere revisar sus cursos en el campus antes de ir a dormir, al
entrar al curso de Pensamiento Lgico y Matemtico observa en la agenda que le
queda slo un da para hacer su aporte individual y ella an no ha comprendido
los temas, y entre su preocupacin y su cansancio por el paseo y pensando en
madrugar al siguiente da a trabajar, se sienta frente a su computador, al ver que
su tutor est conectado por Skype le hace la siguiente reflexin mental: Si hago
mi aporte individual despus de la fecha sealada en la gua entonces no puedo
participar del trabajo final grupal. Si no hago mi aporte individual despus de la
fecha sealada en la gua, entonces si resuelvo los problemas de la gua, no
puedo participar del trabajo final grupal. Si no comprendo los temas de Lgica
Proposicional o no resuelvo los problemas de la gua entonces puedo participar
del trabajo final grupal. No comprendo los temas de Lgica Proposicional. Por lo
tanto, no resuelvo los problemas de la gua. Laura piensa que est desvariando
por el cansancio y la preocupacin, y le dice a su tutor que la excuse por las
incoherencias que acaba de escribirle; pero el tutor le comenta que en realidad,
acaba de hacer una argumentacin vlida. El tutor le plantea una oportunidad de
no perder los cien puntos de dicha actividad, le dice que demuestre a travs de las
tablas de verdad y las leyes de inferencia la validez de su argumento. Ayuda a
Laura a aprovechar dicha oportunidad!!!!.

Solucin:
Proposiciones simples:
p: Hace aporte individual despus de la fecha sealada
q: Participar en el trabajo individual
r: Resuelve los problemas de la gua
s: Participar en trabajo final grupal
t: Comprende los temas de Lgica Proposicional

Premisas:
P1: (p s)
P2: (p r) s
P3: ( t r) s
P4: ( t r)
Conclusion: s
{[(p s) (p r)] [ s ( t r)] [s ( t r) ]} s

Tabla de verdad:
p

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

r
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

Demostracin de leyes de inferencia:

(p s)
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

(p
r)
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V

( t r)
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
F
F
V
V
F
F
V
V

( t
r)

(rp)

(p r)
s

( t
s

3. 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:
Proposiciones simples:
p: Es disciplinada en los estudios
q: Entrega los aportes significativos a tiempo
r: Resuelve las inquietudes del tema con el tutor
s: Se dedica a rumbear y a pasear

t: En las noches ve video. Tutoriales del tema

Premisas:
P1: p q r
P2: s q
P3: t r
P4: p t
Conclusin: q

[(p q) r (s q) (t r) (p t)] q