Professional Documents
Culture Documents
GURSO 200611
GRUPO 155
TUTORA
LUZ MILA ROJAS
Objetivos
Objetivo general
Objetivo especifico
implicadas.
Demostracin por leyes de inferencia.
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)