Uma sentença logicamente equivalente a " Se Ana é bela, então Carina é feia" é: