Considere verdadeiras as afirmações: Todo jogador é esportista. Algum jogador é jogador de futebol. A partir dessas afirmações, é logicamente verdadeiro:

Todo jogador é jogador de futebol.

Nenhum esportista é jogador de futebol.

Todo esportista é jogador de futebol.

Nenhum esportista é jogador.

Algum jogador de futebol é esportista.