Concurso:
CBM-RJ
Disciplina:
Raciocínio Lógico
A sentença logicamente equivalente a "Se Antônio é médico, então Giovana não é casada” é: