A sentença logicamente equivalente a "Se Antônio e médico, então Giovana não é c...

Questão de Raciocínio Lógico da banca FUNCEFET aplicada no concurso Bombeiro Militar RJ (2014). Confira a resolução completa abaixo:

A sentença logicamente equivalente a "Se Antônio e médico, então Giovana não é casada” é: