Considere a sentença: “Renato viajou e não telefonou para sua mãe”. A negação lógica dessa sentença é

Gabarito

Certo

Comentário do professor

“Renato viajou e não telefonou para sua mãe” pode ser representada por \(p \land \neg q\), onde p = “Renato viajou” e q = “Renato telefonou para sua mãe”.

Aplicando a regra de De Morgan, a negação de uma conjunção é a disjunção das negações: \( \neg(p \land \neg q) \equiv \neg p \lor q\).

Isso gera a frase “Renato não viajou ou telefonou para sua mãe.”

Interpretação: a negação é verdadeira sempre que pelo menos uma das condições originais falha — isto é, ou ele não viajou, ou (pelo menos) telefonou para a mãe; o “ou” é inclusivo (poderia ocorrer ambos).