MODUS TOLLENS( SARA MORA)

MODUS TOLLENS

REGRAS DE INFERENCIA

Sara Mora Monroy

MODUS TOLLENDO TOLLENS(MTT)

Modo que, al negar, niega

la negación del Modus ponendo ponens

niega el MPP

Estructura

Premisas

Conclusión

p ⊃ q

p➟ q

Premisas

ㄱq

Conclusión

ㄱp

entonces

p ➟ q

ㄱq

Conclusión

ㄱp

P: Si tiene luz propia Q: el astro es una estrella

Ejemplo

p ➟ q

Premisa 1: Si tiene luz propia, entonces el astro es una estrella. Premisa 2. El astro no es una estrella. Conclusión: No tiene luz propia

ㄱq

ㄱp

Representación en lógica proposicional [(p➟q)^ㄱq]➟ㄱp

TABLA DE VERDAD

Representación en lógica proposicional [(p➟q)^ㄱq]➟ㄱp

TABLA DE VERDAD

Rta: la proposición es tautología

P: Si tiene luz propia Q: el astro es una estrella

Ejemplo 2

p ➟ q

Premisa 1: Si tienes hambre, entonces come algo. Premisa 2. NO tengo hambre. Conclusión: Por lo tanto, No como.

ㄱq

ㄱp

¡GRACIAS!

Lorem ipsum dolor