Deducción2
Aspectos elementales de la teoría de la demostración

Algunos métodos de demostración

Supongamos en todos los casos que la proposición a probar es " P⇒C  es cierta"

Método directo

Por reducción al absurdo

Probando el contrarrecíproco

Consiste en determinar una cadena de razonamientos correctos cuya conclusión final sea precisamente C.




        

Mediante una cadena de razonamientos correctos se prueba la proposición:
(P∧¬C)⇒Contradicción ,
hecho que conlleva la veracidad de la proposición " P⇒C  es cierta".



        

El enunciado (¬C)⇒(¬P) es el contrarrecíproco de P⇒C . Como son lógicamente equivalentes, probar uno equivale a probar el otro. En este caso, la cadena de razonamientos se construye para probar que
" (¬C)⇒(¬P)   es cierta".


        

Para algunos enunciados particulares pueden aplicarse técnicas especiales de demostración:
Principio de inducción                       Demostración visual
El primero de estos métodos se trata con profundidad al final del módulo. Si se desea entrar en él, emplear el menú desplegable. Allí mismo aparece un ejemplo de prueba visual.