Teorema: Modus Tolendo Tolens

Teorema: Modus Tolendo Tolens

Si P → Q y ∼ Q son proposiciones verdaderas entonces ∼P es una proposición verdadera.

P → Q 

∼ Q 

___________

∼P

Demostración [Prosa]

Por hipótesis P → Q, al aplicar el teorema del contrarrecíproco resulta ∼ Q →∼ P, ya que ∼ Q es hipótesis entonces por un modus ponendo ponens se concluye que ∼ P es una proposición verdadera.