En términos lógicos: si queremos demostrar la proposición "J", asumimos que "no "J"" es correcta.