Considere a seguinte afirmação: “Todos os envolvidos foram julgados ou aguardam julgamento, e o caso está sendo encerrado.” Uma negação lógica para a afirmação apresentada é:

Nenhum dos envolvidos foi julgado ou aguarda julgamento, e o caso não está sendo encerrado.

Existe envolvido que não foi julgado e não aguarda julgamento, ou o caso não está sendo encerrado.

Nenhum dos envolvidos foi julgado ou aguarda julgamento, ou o caso não está sendo encerrado.

Existe envolvido que não foi julgado e não aguarda julgamento, e o caso não está sendo encerrado.

Todos os envolvidos não foram julgados e não aguardam julgamento, e o caso não está sendo encerrado.