APORTE

TUTOR (a):
JADITH ROVIRA

ALUMNO:
Diego Armando Palacios Rubio

AULA VIRTUAL:
200611A_225

CODIGO:
16.867.208

UNIVERSIDAD ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
Cali, Valle
2015

INTRODUCCION

A continuacin encontraremos el desarrollo al ejercicio propuesto teniendo en

cuenta la Unidad III propuesta en el curso de Pensamiento Logico Matematico,
encontraremos aqu el uso en conjunto de las anteriores unidades.
Es asi como el desarrollo evoca las leyes de inferencia, ubicamos las premisas,
los conectores lgicos, los smbolos, las tablas de verdad y en ultimo efecto el
uso del software Truth; para llegar a definir si el argumento es valido o no.

DESARROLLO
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:
p: soy disciplinada en mis estudios
q: entrego mis aportes significativos a tiempo
r: resuelvo mis inquietudes del tema con mi tutor
s: me dedico a rumbear, pasear
t: en las noches veo video tutoriales del tema

Premisa 1:(pq)r
Premisa 2: s q
Premisa 3: t r
Premisa 4: pt
Conclusin: q
{[(pq) r][(s q) (t r)] p t}q

Leyes de inferencia.
5 Simp (4): p
6 Simp (4): t
7 MPP (3): [(t r)t] r
8 MTP (1-7): {[(pq)r] r}(pq)
9 MPP (8-5): [(pq)p]q

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
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

pq

[(pq)
r]

s
q

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
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

[(pq)r [(pq)r]
[(s q) [(pq)r]
][(s
[(s q
)
t r
(t [(s q)
) (t
q
(t
r)]
(t r)]
r)] p
r)]pt
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

{[(pq)
r][(s
q) (t
r)]p
t}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
V
V
V
V
V
V
V
V

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

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

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

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

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

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

F
F
F
F
F
V
F
F
F
F
F
F
F
F
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
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

Tabla arrojada por el software Truth Table Constructor.

p

T
T
T

T
T
T

T
T
T

T
T
F

T
F
T

{[(pq) r][(s q) (t r)]

p t}q
T
T
T

T
T
T
T
T
T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

T
T
T
T
T
F
F
F
F
F
F
F
F
T
T
T
T
T
T
T
T
V
V
V
V
V
V
V
V

T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

CONLUSIONES