Describir: Iniciaçao à logica matemática