A frase “Se o time jogou bem, então foi campeão” é equivalente a:

Vamos representar:

• $p$: “o time jogou bem”
• $q$: “foi campeão”

A frase dada é $p \rightarrow q$ (“Se $p$, então $q$”).

Uma forma logicamente equivalente (contrapositiva) é: $p \rightarrow q \equiv \neg q \rightarrow \neg p.$

Ou seja: “Se não foi campeão, então não jogou bem.”

Analisando as alternativas:

• (A) $\neg q \rightarrow \neg p$ ✓ (contrapositiva, equivalente)
• (B) $p \leftrightarrow q$ (mais forte, não equivalente)
• (C) $\neg p \lor \neg q \equiv \neg(p \land q)$ (não equivalente)
• (D) $p \land q$ (mais forte, não equivalente)
• (E) $\neg p \rightarrow \neg q$ (inversa, não equivalente)