Sabe-se que todos os torcedores do time T que idolatram o jogador J também idolatram o jogador K. Também é sabido que nem todo torcedor do time T idolatra o jogador K. Dessa forma,

Gabarito

D

Comentário do professor

T = conjunto dos torcedores de T, J = os que idolatram J, K = os que idolatram K.

Foi dado que todos os torcedores de T que idolatram J também idolatram K, ou seja \( (T\cap J)\subseteq K \).

Também se afirma que nem todo torcedor de T idolatra K, logo existe \(x\) tal que \(x\in T\) e \(x\notin K\), isto é \(T\setminus K\neq\varnothing\).

Qualquer \(x\in T\setminus K\) não pode pertencer a \(J\), porque se pertencesse teríamos \(x\in T\cap J\) e, pela inclusão, \(x\in K\), contradição. Assim \(x\notin J\).

Conclusão: existe ao menos um torcedor de T que não idolatra J, portanto a alternativa está correta.