A sentença original é: "Se Carlos é matemático, então ele é professor." Em lógica, a sentença condicional "Se P, então Q" é logicamente equivalente à sua contrapositive: "Se não Q, então não P." Analisando as alternativas: A) "Se Carlos não é professor, então ele não é matemático." — Esta é a contrapositive da sentença original, portanto é logicamente equivalente. B) "Se Carlos é matemático, então ele não é professor." — Contradiz a sentença original. C) "Se Carlos não é matemático, então ele é professor." — Não é equivalente. D) "Se Carlos é professor, então ele não é matemático." — Não é equivalente. E) "Carlos é matemático e professor." — Não é equivalente, pois a original é uma condicional, não uma conjunção. Resposta correta: A) Se Carlos não é professor, então ele não é matemático.