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