Lógica no Brasil