Si tenemos que demostrar que una proposición "p" implica una proposición "q" (es decir, si se da "p", se tiene que dar "q"), a veces es más sencillo demostrar que si no se da "q", entonces no puede cumplirse "p".