Ejercicios de métodos de demostración

Demostración por método indirecto:

Este ejercicio consiste en demostrar que 

Se puede solucionar fácilmente por el método de contrarrecíproco o por el método indirecto que el que utilizo a continuación:

Teorema de transitividad o silogísmo