Sabendo‑se que as proposições “Ana é alagoan...

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”.