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