" O acidente foi investigado e o autor foi encontrado ". De acordo com a lógica proposicional, a negação da frase é descrita como:

Gabarito

Errado

Comentário do professor

A frase é uma conjunção: "O acidente foi investigado e o autor foi encontrado". Representando A = "o acidente foi investigado" e B = "o autor foi encontrado", escrevemos \(A \land B\).

A negação de uma conjunção segue a lei de De Morgan: \( \neg (A \land B) \equiv \neg A \lor \neg B\).

Negando cada parte, \(\neg A\) = "o acidente não foi investigado" e \(\neg B\) = "o autor não foi encontrado".

Aplicando a equivalência obtemos: "o acidente não foi investigado ou o autor não foi encontrado". Intuitivamente, a negação diz que não é verdade que ambas sejam verdadeiras, ou seja, pelo menos uma é falsa.