Uma sentença logicamente equivalente a "Se Carlos é matemáti...

Uma sentença logicamente equivalente a "Se Carlos é matemático, então ele é professor" é:

A) Se Carlos não é professor, então ele não é matemático.

B) Se Carlos é matemático, então ele não é professor.

C) Se Carlos não é matemático, então ele é professor.

D) Se Carlos é professor, então ele não é matemático.

E) Carlos é matemático e professor.