Raciocínio Lógico — equivalências lógicas

Em uma conversa entre amigos sobre futebol, concluiu-se

que:

· alguns jogadores do time A já jogaram pelo time B;

· nenhum jogador do time C já jogou pelo time B.

Considerando-se tais conclusões como verdadeiras, é necessariamente

verdadeiro que: