NATIS9719GO NATIS9719GO Matemáticas contestada . El doble de un numero en el lenguaje formal de matemática