Examen Intuicionista de la Ley de Doble Negación