Uma negação lógica da proposição composta: “Todas as áreas de preservação são bem cuidadas e muitas espécies não escapam da extinção” está contida em:

Se muitas espécies não escapam da extinção, então existe área de preservação que não é bem cuidada.

Se muitas espécies escapam da extinção, então existe área de preservação que não é bem cuidada.

Ou muitas espécies escapam da extinção ou todas as áreas de preservação são bem cuidadas.

Se existe área de preservação bem cuidada, então muitas espécies não escapam da extinção.

Existe área de preservação bem cuidada ou muitas espécies não escapam da extinção.