(VUNESP) - QUESTÃO

Considere a seguinte afirmação:

Se os livros foram catalogados, então eles já foram distribuídos nas estantes.

Uma negação lógica para a afirmação apresentada é

Ⓐ Os livros foram catalogados e não foram distribuídos nas estantes.

Ⓑ Os livros não foram catalogados e não foram distribuídos nas estantes.

Ⓒ Os livros foram catalogados ou foram distribuídos nas estantes.

Ⓓ Se os livros não foram catalogados, então eles não foram distribuídos nas estantes.

Ⓔ Se os livros não foram distribuídos nas estantes, então eles não foram catalogados.

Vamos traduzir a frase para a lógica proposicional:

• P: Os livros foram catalogados.

• Q: Os livros foram distribuídos nas estantes.

A afirmação dada é:
P → Q (Se P, então Q)

- A negação lógica de uma implicação P → Q é:
P ∧ ¬Q (P e não Q)

Ou seja:

Os livros foram catalogados e não foram distribuídos nas estantes.

Agora, comparando com as alternativas:

• A) Os livros foram catalogados e não foram distribuídos nas estantes. ✅

• B) ¬P ∧ ¬Q — não é a negação correta.

• C) P ∨ Q — não corresponde à negação.

• D) ¬P → ¬Q — é a contrapositiva, não a negação.

• E) ¬Q → ¬P — também é a contrapositiva, equivalente à original.