A negação de uma negação, na lógica proposicional, é equivalente a:

Gabarito

B

Comentário do professor

A expressão correta é que a negação da negação de uma proposição resulta na sua afirmação. Em símbolos: se \(P\) é uma proposição, então \(\lnot\lnot P\) é logicamente equivalente a \(P\).

Isso decorre da Lei da dupla negação: negar algo torna-o falso quando era verdadeiro; negar novamente reverte para o valor original. Assim, se \(P\) for verdadeira, \(\lnot P\) é falsa e \(\lnot\lnot P\) volta a ser verdadeira.

Exemplo simples: seja \(P\): "Maria é advogada". Então \(\lnot P\): "Maria não é advogada" e \(\lnot\lnot P\): "Maria é advogada". Portanto \(\lnot\lnot P\) afirma \(P\).