En términos lógicos: si queremos demostrar la proposición "J", analizamos qué ocurriría si "no "J"" fuese correcta.