(IAUPE - 2026) - QUESTÃO

Considere a proposição: “Se estudo, então sou aprovado.” A negação lógica equivalente dessa proposição é:

Ⓐ Se não estudo, então não sou aprovado 

Ⓑ Estudo e não sou aprovado 

Ⓒ Não estudo e sou aprovado

Ⓒ Não estudo ou não sou aprovado 

Ⓔ Sou aprovado se e somente se estudo 

A proposição é:

“Se estudo, então sou aprovado.”
Ou seja, $P \rightarrow Q$, onde:

• $P$: estudo
• $Q$: sou aprovado

A negação de uma implicação $P \rightarrow Q$ é logicamente equivalente a:

$$P \land \neg Q$$

Ou seja: “Estudo e não sou aprovado.”