Unidad 1 – Sesión 7

Facultad de Estudios Generales

LÓGICA

• PRINCIPIOS LOGICOS
MODUS TOLLENS

DOCENTES DE LÓGICA

LÓGICA
Universidad Inca Garcilaso de la Vega

CAPACIDADES

• Identifica y aplica el
principio lógico modus
tollens

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

MODUS TOLLENDO TOLLENS (MTT)

“Negando niego”
El MTT se aplica a una
CONDICIONAL. Y la ley P1: p→q
establece que si se niega P2: ~q
el consecuente, como C: ~p
conclusión debemos
negar el ANTECEDENTE. P1: p↔q P1: p↔q
P2: ~p P2: ~q
C: ~q C: ~p
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

En toda condicional, si niego el consecuente, niego el

antecedente. También se cumple para la bi-condicional.
P1: p  q P1: p ↔ q P1: p ↔ q
P2:  q P2:  q P2:  p
C:  p C:  p C:  q

P1: (p  q )  r P1: p   q P1:  p   q P1: p  (q  r)

P2: r P2: q P2: q P2: (q  r)

C: (p  q ) C: p C: p
C:  p

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega
MODUS TOLLENDO PONENS (MTP)
“Negando afirmo”

El MTP se aplica cuando una premisa

es una proposición DISYUNTIVA y otra P1: p v q
premisa niega uno de sus términos.
Como conclusión se debe afirmar el P2: ~p
otro término.
C: q
P1: p v q P1: pΔq P1: pΔq
P2: ~q P2: ~p P2: ~q
C: p C: q C: p
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

En toda disyuntiva incluyente o excluyente si niego MODUS TOLLENDO PONENS (MTP)

una variable de la primera premisa, se afirma la “Negando afirmo”
otra.

P1: p ˅ q P1: p ˅ q P1: p  q P1: p  q

P2:  p P2:  q P2:  p P2:  q
C: q C: p C: q C: p

APLICAR “MTP”

P1: p ˅ ( q r) P1: p  ( q ˄ r) P1: p ˅ ( q r) P1:  p  q

P2: p P2: ( q ˄ r) P2: ( q r) P2: p
C: ( q r) C: p
C: p C: q

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

EJERCICIOS

1) Si los comerciantes informales evaden los impuestos, no podrán tener beneficios tributarios
por parte de la SUNAT. Pero los comerciantes informales tiene beneficios tributarios por parte
de la SUNAT. Se concluye que…

FORMALIZACIÓN VERTICAL Y
LEY DE
APLICACIÓN CONCLUSIÓN VERBAL
INFERENCIA
DE LA LEY DE INFERENCIA

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

2) Si los comerciantes informales no pagan impuestos o incluso no pagan los

beneficios laborales a sus colaboradores. Pero los comerciantes informales pagan
impuestos. Se concluye que…

FORMALIZACIÓN VERTICAL Y
LEY DE
APLICACIÓN CONCLUSIÓN VERBAL
INFERENCIA
DE LA LEY DE INFERENCIA

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

BIBLIOGRAFÍA

• COPI, I y COHEN. Logica simbolica, Mexico: Limusa, 2013

• COPI, I. Logica simbolica, Mexico: Continental 1994

« Nuevos tiempos, nuevas ideas »