Sabe-se que as seguintes proposições são verdadeiras:
- Se o time A não é campeão, então o time B se classifica para
a Copa Libertadores.
- O time B não se classifica para a Copa Libertadores ou o
time C se classifica para a Copa Sul-Americana.
- O time C se classifica para a Copa Sul-Americana se, e
somente se, o time D não for rebaixado.
- O time D é rebaixado e o time E vence a última partida.
Portanto, é necessariamente verdadeiro que: