A matemática e o raciocínio lógico