Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro...

Para resolver essa questão, vamos analisar as informações fornecidas:

1. "Algum X é Y": Isso significa que existe pelo menos um elemento X que é Y.
2. "Nenhum Z é Y": Isso significa que não existe nenhum elemento Z que seja Y.

Com base nessas informações, podemos concluir que:
- Como "Algum X é Y", então sabemos que existe pelo menos um elemento X que é Y.
- Como "Nenhum Z é Y", então nenhum elemento Z pode ser Y.

Portanto, podemos afirmar que necessariamente é verdadeiro que "Algum X não é Z" (opção a). Isso porque, se nenhum Z pode ser Y e algum X é Y, então algum X não pode ser Z.

Gabarito: a)