O promotor de um caso na justiça dos EUA afirmou: “A sentença de prisão perpétua deve ser retirada e deve ser substituída por uma sentença de 50 anos de prisão”. A negação lógica d

Gabarito

B

Comentário do professor

A afirmação do promotor é uma conjunção: “A sentença de prisão perpétua deve ser retirada e deve ser substituída por uma sentença de 50 anos de prisão”. Se chamarmos a primeira parte de \(A\) e a segunda de \(B\), temos \(A \land B\).

Para negar uma conjunção aplicamos a lei de De Morgan: \( \lnot(A \land B) \equiv \lnot A \lor \lnot B\). Ou seja, negamos cada componente e trocamos o conectivo e por ou.

Negando as partes: \( \lnot A\) é “A sentença de prisão perpétua não deve ser retirada” e \( \lnot B\) é “ela não deve ser substituída por 50 anos”. Assim a negação fica: “A sentença de prisão perpétua não deve ser retirada ou não deve ser substituída por uma sentença de 50 anos de prisão”.