Considere a afirmação: “Se todos os caminhos levam ao mesmo lugar, então não há necessidade de um mapa”. A afirmação que corresponde à negação lógica desta é:

Todos os caminhos levam ao mesmo lugar e há necessidade de um mapa.

Nem todos os caminhos levam ao mesmo lugar ou há necessidade de um mapa.

Pelo menos dois caminhos levam ao mesmo lugar ou não há necessidade um mapa.

Se não há necessidade de um mapa, então todos os caminhos levam ao mesmo lugar.

Não há necessidade de um mapa e nenhum caminho leva ao mesmo lugar.