SMS dit: Iniciaçao à logica matemática