Admita como verdadeira as seguintes premissas: "alguns matemáticos são cozinheiros" e "nenhum atleta é cozinheiro." Então, é necessariamente verdade que:
algum matemático não é atleta
algum atleta é matemático
algum matemático é atleta
nenhum atleta é matemático
