Este método sólamente es posible utilizarlo cuando la hipótesis
es
una disyunción de casos, es decir cuando 
.
Método por casos
Este método sólamente es posible utilizarlo
cuando la hipótesis es
una disyunción de casos, es decir cuando .
Equivalencia
lógica
Este
método está basado en la equivalencia:
Este
método se explica señalando que para demostrar que 
,
es necesario demostrar que todos los casos de la hipótesis implican
la conclusión.
Ejemplos
Observaciones
En el método por casos, como ya señalamos, es necesario demostrar que todos los casos de la hipótesis implican
la conclusión.
Sin embargo, para la demostración en cada uno de los casos, se tendrán que aplicar alguno de lo métodos ya vistos.
Puede suceder inclusive que en una demostración se apliquen varios métodos en diversas partes de la misma.
