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:
A proposição “Cecília é curitibana e Beatriz não é baiana” é a negação da condicional “Se Cecília é curitibana, então Beatriz é baiana”.