Durante um debate filosófico, certo estudante argumentou: “o objetivo da lógica é organizar o pensamento humano, garantindo que ele seja claro e livre de contradições. Contudo, fiquei em dúvida sobre a diferença entre lógica formal e lógica simbólica”. Com base nos conceitos de lógica formal e lógica simbólica, assinale a afirmativa correta.