Sabendo-se que as proposições “Ana é alagoana se, e somente se, Beatriz é baiana” e “Cecília é curitibana e Beatriz não é baiana” são verdadeiras, julgue o item a seguir.

Ana é alagoana.