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