Admitindo‑se que as proposições “André não é engenheiro ou Bárbara é inteligente” e “Se Carolina não é loira, então André é engenheiro” são verdadeiras, julgue os itens a seguir.

A negação de “Se Carolina não é loira, então André é engenheiro” é “Se André não é engenheiro, então Carolina é loira”.