a) Todo jogador de futebol é um atleta (utilize 'B' para jogador de futebol e 'A' para atleta). ~∃x (Bx & ~Ax) ∀x (Bx → Ax)

De acordo com as afirmações fornecidas: ~∃x (Bx & ~Ax) - Isso significa que não existe nenhum jogador de futebol que não seja um atleta. Em outras palavras, todos os jogadores de futebol são atletas. ∀x (Bx → Ax) - Isso significa que para todos os jogadores de futebol, se eles são jogadores de futebol, então eles são atletas. Portanto, a alternativa correta é: A) Todo jogador de futebol é um atleta.