Inteligência Humana e Inteligência Artificial: como a lógica matemática pode guiar o uso consciente das IAs generativas