A negação de uma afirmação é uma ferramenta importante em várias áreas.
Vamos supor que seja necessário fazer a negação lógica da seguinte afirmação:
Todos os envolvidos são culpados e devem ser punidos.
Uma das possibilidades está contida na alternativa:
A
Existe envolvido inocente e que não deve ser punido.
B
Nenhum dos envolvidos é culpado ou deve ser punido.
C
Existe envolvido que não é culpado ou que não deve ser punido.
D
Todos os envolvidos não são culpados e não devem ser punidos.
E
Nenhum dos envolvidos não é culpado ou não deve ser punido.