El objetivo general del proyecto consiste principalmente en disenar y construir un software con una interfaz de alto componente visual, basado en una metafora ludica, que le permita al estudiante el aprendizaje de los conceptos relacionados con la logica proposicional de una forma mas facil y motivadora, proveyendo un espacio apto para la experimentacion y conjetura.