Question

ENADE - CURSO - ANÁLISE E DESENVOLVIMENTO DE SISTEMAS

José discutindo futebol com João declarou que se o time X venceu o último jogo, então o time Y é campeão. João depois de algumas horas descobriu que a declaração é verdadeira. Em consequência, tem-se também certeza de que é verdade que

ou o time X não venceu o último jogo ou o time Y é campeão.
o time X não venceu o último jogo e o time Y não é campeão.
se o time Y não é campeão, então o time X não venceu o último jogo.
o time X não venceu o último jogo e o time Y é campeão.
o time X venceu o último jogo e o time Y não é campeão.

Answer 1

Resposta:

se o time Y não é campeão, então o time X não venceu o último jogo.

Explicação:

Em consequência, tem-se também certeza de que é verdade que se o time Y não é campeão, então o time X não venceu o último jogo.