(VUNESP) - QUESTÃO

Considere a seguinte afirmação:

Se Fulano fez o concurso, então ele foi aprovado.

Assinale a alternativa que contém uma negação lógica para a afirmação apresentada.

Ⓐ Se Fulano fez o concurso, então ele não foi aprovado.

Ⓑ Se Fulano não foi aprovado, então ele não fez o concurso.

Ⓒ Se Fulano não fez o concurso, então ele não foi aprovado.

Ⓓ Fulano não fez o concurso e ele não foi aprovado.

Ⓔ Fulano fez o concurso e ele não foi aprovado.

Vamos escrever a afirmação em lógica:

• P: Fulano fez o concurso

• Q: Fulano foi aprovado

A afirmação dada é:
Se P, então Q → $P \rightarrow Q$

A negação lógica de uma implicação é:

$$\neg(P \rightarrow Q) \equiv P \land \neg Q$$

Ou seja: Fulano fez o concurso e não foi aprovado.

Analisando as alternativas:

• A) apenas nega a conclusão, não é a negação lógica 

• B) é a contrapositiva da original (equivalente à original, não a negação) 

• C) não corresponde à negação lógica 

• D) nega P e Q ao mesmo tempo 

• E) Fulano fez o concurso e ele não foi aprovado ✅