I Encontro de Lógica do Ifal Penedo