Raciocínio Lógico — Proposições simples e compostas e operadores lógicos

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: