Considere a sentença “Alda gosta de maçã e não gosta de banana”. A negação da sentença dada é:

Gabarito

Certo

Comentário do professor

Representamos "Alda gosta de maçã" por \(m\) e "Alda gosta de banana" por \(b\). A sentença dada é \(m \wedge \neg b\).

A negação de uma conjunção obedece às regras de De Morgan: deve-se negar cada componente e trocar o conectivo e por ou. Assim:

\(\neg (m \wedge \neg b) \equiv \neg m \vee b\).

Interpretando em linguagem comum, isso significa que a negação é "Alda não gosta de maçã ou gosta de banana". Intuitivamente, a negação é verdadeira sempre que pelo menos um dos termos da frase original for falso — isto é, se ela não gosta de maçã ou se, ao contrário, gosta de banana.