Deakstadieđáhus: Iniciaçao à logica matemática