APORTE EN LA FASE GRUPAL

TRABAJO COLABORATIVO N° 3

ESTUDIANTE
VÍCTOR ALFONSO BARRIOS RODRIGUEZ
1065566173

TUTOR
NEVARDO ALONSO AYALA
PENSAMIENTO LOGICO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

TECNOLOGIA EN SEGURIDAD Y SALUD EN EL TRABAJO

CUCUTA

15/05/2016
1. 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”.

R/.
P: soy disciplinada en mis estudios.
q: entrego mis aportes significativos a tiempo
r: resuelvo mis inquietudes con el tutor.
S: me dedico a rumbear, pasear.
T: en las noches me dedico a ver videos tutoriales del tema.

Premisa N°1: (p→q) ˅ r

Premisa N°2 : s→~q
Premisa N°3: t→~r
Premisa N°4: p ˄ t
Conclusión: q

{ [(p→q)˅ r ] ˄ [(s→~q) ˄ (t→~r) ˄p ˄t }→q

Leyes de inferencia

5. simp (4):p
6. simp (4): t
7.MPP (3): [(t→~r) ˄ r] →~r
8. MTP (1.7): {[(p→q) ˅ r ] ~ r}→( p→q)
9. MPP (8.5): [(p→q) ˄p] →q
N° p q r s t ~q ~r
1 V V V V V V F
2 V V V V F V F
3 V V V F V V F
4 V V V F F V F
5 V V F V V V V
6 V V F V F V V
7 V V F F V V V
8 V V F F F V V
9 V F V V V F F
10 V F V V F F F
11 V F V F V F F
12 V F V F F F F
13 V F F V V F V
14 V F F V F F V
15 V F F F V F V
16 V F F F F F V
17 F V V V V V F
18 F V V V F V F
19 F V V F V V F
20 F V V F F V F
21 F V F V V V V
22 F V F V F V V
23 F V F F V V V
24 F V F F F V V
25 F F V V V F F
26 F F V V F F F
27 F F V F V F F
28 F F V F F F F
29 F F F V V F V
30 F F F V F F V
 31 F F F F V F V
32 F F F F F F V

N° p→ [(p→q)˅ s→~ t→~r [(s→~q) [(p→ q) [(p→ q) [(p→ q) [(p→ q)

q r] q ˄ ˅r] ˅r] ˅r] ˅r]
(t→~r)] ˄[(s→~) ˄[(s→~) ˄[(s→~) ˄[(s→~)
˄(t→~r ˄(t→~r ˄(t→~r) ˄(t→~r
)] )]˄p ] ˄ p ˄t )]˄p
˄t}→q
1 V V F F F F F F V
2 V V V F F F F F V
3 V V V V F F F F V
4 V V F V V V V F V
5 V V F V F F F F V
6 V V V V F F F F V
7 V V V V V V V V V
8 V V V F V V V F V
9 F V V V F F F F V
10 F V V F V V V F V
11 F V V V F F F F V
12 F V V V V V V F V
13 F F V V V F F F V
14 F F V V V F F F V
15 F F F V V F F F V
16 F F F F V F F F V
17 V V V V F F F F V
18 V V V F F F F F V
19 V V V V F F F F V
20 V V V V V V F F V
21 V V V V F F F F V
22 V V V V V F F F V
23 V V V V V F F F V
24 V V V F V V F F V
25 V V V V V F F F V
26 V V V F V V F F V
27 V V V V F F F F V
28 V V V V V V F F V
29 V V V V V V F F V
30 V V V V V V F F V
31 V V V V V V F F V
32 V V V V V V F F V

N° p q r s t { [(p→q)˅ r ] ˄ [(s→~q) ˄ (t→~r) ˄p ˄t }→q

1 T T T T T T
2 T T T T F T
3 T T T F T T
4 T T T F F T
5 T T F T T T
6 T T F T F T
7 T T F F T T
8 T T F F F T
9 T F T T T T
10 T F T T F T
11 T F T F T T
12 T F T F F T
13 T F F T T T
14 T F F T F T
15 T F F F T T
16 T F F F F T
17 F T T T T T
18 F T T T F T
19 F T T F T T
20 F T T F F T
21 F T F T T T
22 F T F T F T
23 F T F F T T
24 F T F F F T
25 F F T T T T
26 F F T T F T
27 F F T F T T
28 F F T F F T
29 F F F T T T
30 F F F T F T
31 F F F F T T
32 F F F F F T