Want to create interactive content? It’s easy in Genially!

Get started free

MODUS TOLLENS( SARA MORA)

snmm

Created on February 9, 2021

Start designing with a free template

Discover more than 1500 professional designs like these:

Vaporwave presentation

Animated Sketch Presentation

Memories Presentation

Pechakucha Presentation

Decades Presentation

Color and Shapes Presentation

Historical Presentation

Explore all templates

Transcript

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