Este articulo presenta el proyecto de grado Ambiente visual para el aprendizaje de sistemas formales, en donde los estudiantes como los profesores pueden interactuar, a traves de una plataforma web que permita a los estudiantes interesarse mas por la linea de logica matematica, por medio de la experimentacion e hipotesis de los problemas propuestos por los profesores como los estudiantes y verificar si se llega a la conjetura por medio de una cadena inicial.