Unidad 1 – Sesión 8

Facultad de Estudios Generales

LÓGICA

• PRINCIPIOS LOGICOS
MODUS PONENS

DOCENTES DE LÓGICA

LÓGICA
Universidad Inca Garcilaso de la Vega

CAPACIDADES

• Identifica y aplica el
principio lógico modus
ponens

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

MODUS PONENDO PONENS (MPP)

“Afirmando afirmo”

El MPP se aplica a una

CONDICIONAL. Y la ley
establece que si se afirma
el antecedente, como P1: p→q
conclusión debemos
afirmar el CONSECUENTE.
P2: p
C: q

« Nuevos tiempos, nuevas ideas »

 Universidad Inca Garcilaso de la Vega

En toda condicional, si afirmo el MODUS PONENDO PONENS (MPP)

antecedente, afirmo el consecuente. “Afirmando afirmo”
También se cumple para la bi-condicional.

P1: p  q P1: p ↔ q P 1: p ↔ q
P2: p P2: p P 2: q
C: q C: q C: p
APLICAR “MPP”

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

P2: (p  q ) P2: p P2:  p P2: p

C: r C: (q  r) C:  q C:  q
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

MODUS PONENDO TOLLENS (MPT)

“Afirmando niego”

El MPT se aplica cuando una

premisa es una DISYUNCIÓN
EXCLUYENTE, y cuando otra
premisa afirma uno de sus
términos. Como conclusión
se debe negar el otro
término. P1: pΔq P1: pΔq
P2: q P2: p
C: ~p C: ~q
« Nuevos tiempos, nuevas ideas »
 Universidad Inca Garcilaso de la Vega

En toda disyuntiva excluyente si MODUS PONENDO TOLLENS (MPT)

afirmo una variable de la primera “Afirmando niego”
premisa, se niega la otra.

P1: p  q P1: p  q
P2: p P2: q
C:  q C:  p
APLICAR “MPT”

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

P2: r P2: q P2: p P2: (q ↔ r)
C: (p  q ) C:  p C: (q ↔ r) C:  p
« 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 evaden los 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

2) O bien los trabajadores de la empresa de transporte el VELOS S.A aportan a la AFP

O bien a la ONP. Pero los trabajadores de la empresa de transporte el VELOZ S.A
aportan a la ONP. 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 »