Tercera regla de inferencia y el ejercicio (c) en las TAREAS 2 y 3.

TERCERA REGLA DE INFERENCIA

Modus Tollendo Tollens ( MTT )
Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es
falso, entonces su antecedente ser necesariamente falso; simblicamente se expresa
as: [ ( p q ) ~ q ] ~ p

C. En la escena de un robo, la polica se encuentra haciendo un

interrogatorio a todos los testigos del hecho: El reloj marcaba las
8:00 de la noche, entonces Carlos sali de su trabajo a las 7:00 pm y
vio salir a Jaime de la empresa. Si la informacin de Jaime es veraz,
entonces Carlos no vio salir a Jaime de la Empresa. La informacin de
Jaime es veraz o estaba en la empresa en el momento del robo del
dinero. El reloj marcaba las 8:00 de la noche. Por lo tanto, Jaime
estaba en la empresa en el momento del robo del dinero.
PREPOSICIONES:

p: El reloj marcaba las 8:00 de la noche

q: Carlos sali de su trabajo a las 7:00 pm
r: Carlos vio salir a Jaime de la empresa
s: La informacin de Jaime es veraz
t: Jaime estaba en la empresa en el momento del robo del dinero
PREMISAS:

Expresar los siguientes enunciados en Lenguaje natural relacionada con la

dinmica de la Universidad de su rol como estudiante y demostrar la validez
del argumento dado a travs de:

Si Mara estudia entonces pasa el examen. El examen es de

matemticas o es de sociales. Si es de sociales entonces Mara est
feliz. Mara no estudia. Mara se prepara entonces esta feliz. S el
examen es de sociales entonces Mara estudia. Por lo tanto Mara est
feliz.
p q r s t u

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

F f F F F F V F V V V F