Se é verdade que “Alguns médicos são canhotos” e que “Nenhum míope é canhoto”, então é necessariamente verdadeiro que:
algum médico é míope
nenhum médico é míope
algum médico não é míope
nenhum míope é médico
