Fase Grupal

Aporte

Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lógico y
Matemático, 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 autorreflexión: “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 = Soy disciplinada en los estudios

q = Entrego mis aportes significativos a punto

r =Resuelvo mis inquietudes del tema con el tutor

s = Me dedico a rumbear, pasear

t = ver en la noche video tutoriales del tema

Y las proposiciones compuestas serán

a) p ==> (q v r)

b) s ==> ¬q

c) t ==> ¬r

d) p ^ t
Conclusión

e) q

reglas de inferencia

En d dice que se cumple p, luego por a se cumplirá

qvr

También en d se dice que se cumple t, luego por c se cumplirá

¬r

Al cumplirse ¬ r entonces

qvr=q

Y como q v r se cumple entonces debe cumplirse q

Premisa 1ª

Si soy disciplinada en mis estudios entonces entrego mis aportes significativos a

tiempo o resuelvo mis inquietudes del tema con mi tutor

Premisa 2ª

Si me dedico a rumbear, pasear, entonces no entrego mis aportes significativos a

tiempo.
Premisa 3ª

Si en las noches veo video-tutoriales del tema entonces no necesito resolver mis
inquietudes del tema con mi tutor.

Premisa 4ª

Soy disciplinada en mis estudios y en las noches veo video-tutoriales del tema.

Conclusión:

Por lo tanto entrego mis aportes significativos a tiempo.

La fórmula de la tabla será:

(premisa1) ^ (premisa2) ^ (premisa3) ^ (premisa 4) ==> conclusión

desarrollada por completo es:

[(p → (q v r)) ^ ( s → ¬q) ^ (t → ¬r) ^ (p ^ t) ] → q

 a b c d
P q r s t qvr p→(qvr) ¬q s→¬q t ¬r t→¬r p^t a^b^c^d q (a^b^c^d)→q
F F F F F F V V V F V V F F F V
F F F F V F V V V V V V F F F V
F F F V F F V V V F V V F F F V
F F F V V F V V V V V V F F F V
F F V F F V V V V F F V F F F V
F F V F V V V V V V F F F F F V
F F V V F V V V V F F V F F F V
F F V V V V V V V V F F F F F V
F V F F F V V F V F V V F F V V
F V F F V V V F V V V V F F V V
F V F V F V V F F F V V F F V V
F V F V V V V F F V V V F F V V
F V V F F V V F V F F V F F V V
F V V F V V V F V V F F F F V V
F V V V F V V F F F F V F F V V
F V V V V V V F F V F F F F V V
V F F F F F F V V F V V F F F V
V F F F V F F V V V V V V F F V
V F F V F F F V V F V V F F F V
V F F V V F F V V V V V V F F V
V F V F F V V V V F F V F F F V
V F V F V V V V V V F F F F F V
V F V V F V V V V F F V F F F V
V F V V V V V V V V F F V F F V
V V F F F V V F V F V V F F V V
V V F F V V V F V V V V V V V V
V V F V F V V F F F V V F F V V
V V F V V V V F F V V V V F V V
V V V F F V V F V F F V F F V V
V V V F V V V F V V F F V F V V
V V V V F V V F F F F V F F V V
V V V V V V V F F V F F V F V V

Por lo tanto el razonamiento es deductivo.