Fundamentar conjeturas usando lenguaje algebraico para comprobar o descartar la validez de los enunciados.