❌ Errado.

"A lei penal não retroagirá, salvo para beneficiar o réu."

Na lógica proposicional, podemos reescrevê-la assim:

• A: A lei penal retroagirá
• B: A lei penal beneficiará o réu
• A proposição pode ser representada por: A → B (se retroagir, então será para beneficiar o réu)

A negação da condicional A → B é:

Porque essa forma (A ∨ ~B) é equivalente à proposição original (A → B), e não à sua negação.

Ou seja:

• A → B ≡ ~A ∨ B (equivalente lógica)
• Então, A ∨ ~B é o contradomínio da equivalência, não sua negação.

“A lei penal retroagirá E não beneficiará o réu.”

Essa é a única forma de negar corretamente o dispositivo.

Se quiser, posso montar um mapa de equivalências e negações mais usados em proposições lógicas para concursos — ajuda demais na hora da prova!

E