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