Entonces se concluye que "no "J"" es falsa y, por lo tanto, "J" debe ser verdadera.