Escolar Documentos
Profissional Documentos
Cultura Documentos
SUSY HERRERA
Objetivos
Objetivo general
Objetivo especifico
implicadas.
Demostracin por leyes de inferncia.
Evidenciar la utilizacin del simulador TRUTH
Proposiciones simples:
p: las prcticas son el domingo
q: asiste a la universidad
r: realiza los experimentos
s: entrega el informe
t: obtiene puntaje sumativo
Premisa 1: p q
Premisa 2: r s
Premisa 3: (q ^s) t
Premisa 4: ~t
Conclusin
(~r v ~p)
De modo que:{[(pq)^(rs)^(q ^s)t]~t} (~r v~p)
Proposicin compuesta
p: las prcticas de laboratorio son el domingo asisto a la universidad
q: realizo los experimentos entonces entrego el informe de laboratorio
r: asisto y entrego el informe entonces obtengo un puntaje sumativo
s: no obtengo un puntaje sumativo
t: no realizo los experimentos o practicas no son el prximo domingo
Tabla de verdad
p
v
v
q
v
v
r
v
v
s
v
v
t
v
f
~p
~r
~t
p q
r s
(q ^s)
f
f
f
f
f
v
v
v
v
v
f
f
(q ^s) t
v
f
[(q ^s) t] ~t
f
v
(~r v ~p)
f
f
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
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
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
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
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
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
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
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
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
q^s
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
P1
pq
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
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
f
v
v
v
v
v
v
v
v
v
v
v
f
v
v
v
f
v
v
v
v
v
v
v
v
v
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
Es de razonamiento inductivo
p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
q
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v
r
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
s
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
t
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
~p
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v
~r
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
P2
rs
v
v
f
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
P3
(q ^s) t
v
f
v
v
v
f
v
v
v
v
v
v
v
v
v
v
v
f
v
P4
~t
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
Conclusin
~r v ~p
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
v
v
v
f
f
v
v
v
v
f
f
f
f
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
f
f
f
f
f
v
v
v
v
v
f
f
f
f
f
f
f
f
v
f
f
f
f
v
v
v
v
f
f
f
f
f
v
v
f
f
v
v
f
f
v
v
f
f
f
v
f
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
v
v
v
v
f
v
v
v
v
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
v
v
v
v
v
v
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f
v
v
v
v
v
v
v
v
v
v
v
f
v
f
v
f
v
f
v
f
v
f
v
v
v
v
v
v
v
v
v
v
v
v
v
v
El razonamiento es valido
Leyes de inferencia:
Premisa 1: p q
Premisa 2: r s
Premisa 3: (q ^s) t
Premisa 4: ~t
____________________
Premisa 3: (q ^s) t
Premisa 4: ~t
_______________________
Premisa 5: ~(q^s) MTT
_____________________
Premisa 6: ~q v ~s L. MORGAN
Premisa 7: ~q~p
Premisa 8: ~s ~r
_________________________________
Premisa 9: ~rv ~p
CONCLUSIN: PREMISA 9:
~rV ~p
Dilema Constructivo
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
Proposiciones simples:
p: Hago mi aporte
q: trabajo final
r: resuelvo los problemas
s: comprendo los temas
Premisa 1: p ~q
Premisa 2: ~p(r ~q)
Premisa 3: (~s v ~r) q
Premisa 4: ~s
Conclusin:
~r
Proposicin compuesta
p: Aporte individual despus de la fecha sealada en la gua entonces no puedo participar del
trabajo final grupal
q: 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
r: comprendo los temas de Lgica Proposicional o no resuelvo los problemas de la gua
entonces puedo participar del trabajo
s: No comprendo los temas de Lgica Proposicional. Por lo tanto, no resuelvo los problemas
~p
~q
~r
~s
(p~q)
(r~q)
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
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
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
f
f
f
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
Tabla de verdad
~p(r~q)
v
v
v
v
v
v
v
v
f
f
v
v
v
v
v
v
(p~q)^ ~p(r~q)
f
f
f
f
v
v
v
v
f
f
v
v
v
v
v
v
(~s v ~r)
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
(~s v~r)q
v
v
v
v
v
f
f
f
v
v
v
v
v
f
f
f
[(p~q
P1
P2
P3
P4
Conclusi
n
~p
~q
~s v ~r
p~q
~p(r~q
)
(~s v ~r)q
~s
~r
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
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
f
f
f
f
f
f
f
f
v
v
v
v
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
v
v
v
f
f
f
f
v
v
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
v
v
v
v
v
f
f
f
v
v
v
v
v
f
f
f
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
v
f
f
v
v
v
f
v
v
f
f
v
v
El razonamiento es valido
Premisa 1: p ~q
Premisa 2: ~p(r ~q)
Premisa 3: (~s v ~r) q
Premisa 4: ~s
_______________________
P5:
~s v ~r
P6:
MPP 3,5
P7:
~p
MTT 1,6
P8:
r~q
MPP 2,7
Conclusin P9: ~r
Adj 4
MTT 6,8
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.
Proposiciones simples.
p: disciplinada en mis estudios
q: aportes a tiempo
r: resuelvo mis inquietudes
s: rumbear y a pasear
t: veo video tutoriales
Proposicin compuesta
p: disciplinada en mis estudios entonces entrego mis aportes
q: resuelvo inquietudes mis inquietudes con mi tutor
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
q
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
r
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
s
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
t ~p ~q (q v r)
v f
f
v
f
f
f
v
v f
f
v
p q r s t ~
f
f
f
v
p
v f
f
v
fv vf v f v vv f
vv vf v f v f v f
fv vf v f f vv f
vv vf v v f f v f
fv vf f v v vv f
vv vf f v v f v f
fv vf f v f vv f
vv vf f v f f f f
fv ff v v v v f f
vv ff v v v f f f
fv ff v v f v f f
vv vf v f f f v f
fv vf f f v vv f
vv vf f f v f v f
fv vf f f f vv f
vv vf f f f f v f
ff vv v f v vv v
vf vv v f v f v v
ff vv v f f vv v
vf vv v v f f v v
ff vv f v v vv v
vf vv f v v f v v
ff vv f v f vv v
vf vv f v f f f v
ff vf v v v v f v
vf vf v v v f f v
ff vf v v f v f v
f f v f f v
f f f v v v
f f f v f v
f f f f v v
f f f f f v
p(q v r)
v
v
v
~q t~
v
v r
f v v
f v v
f v v
f v v
f v f
f v v
f v f
f f v
v f v
v f v
v f v
v v v
v v f
v v v
v v f
v v v
f v v
f v v
f v v
f v v
f v f
f v v
f v f
f v v
v v v
v v v
v V v
v
v
v
f
v
v
v
f
v
v
(t~r)p
v
v
conclusin
v
v q
f
v v
f v
v v
v v
v v
v v
v v
f v
v f
f f
v f
v 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
v f
v f
v f
f
f
f
f
f
Razonamiento inductivo
[p(q v r)^(s~q)^(t~r
f
f
v
v
f
f
f
v
v
v
v
v
f
f
f
f
f
f
v
v
f
f
v
v
v
v
v
v
v
v
v
v
r: si
El razonamiento es valido
Leyes de inferencia
P1: pq v r
P2: s~q
P 3: t~r
P 4: p
P5: q v r MPP (1,4)