Considere a seguinte proposição: “Todo projeto de energia renovável é economicamente viável.” A negação lógica dessa proposição é expressa da seguinte forma:

Existe pelo menos um projeto de energia renovável que não é economicamente viável.

Não existe projeto de energia renovável que não seja economicamente viável.

Se um projeto de energia renovável é economicamente viável, então ele não é de energia renovável.

Todo projeto de energia renovável não é economicamente viável.

Nenhum projeto de energia renovável é economicamente viável.