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

Gabarito

Certo

Comentário do professor

Para identificar a negação do condicional usamos a regra lógica: manter o antecedente, negar o consequente e unir por conjunção. Formalmente, \( \neg(p\to q)\equiv p\land\neg q\).

Tomando \(p\): “Cecília é curitibana” e \(q\): “Beatriz é baiana”, a negação é \(p\land\neg q\), isto é, “Cecília é curitibana e Beatriz não é baiana”.

Como essa formulação coincide exatamente com a proposição dada, a afirmação foi julgada CERTO. Observação: um condicional \(p\to q\) é falso somente quando \(p\) é verdadeiro e \(q\) é falso, situação descrita por \(p\land\neg q\).