Vamos analisar cada afirmativa: I – Se todo X é Y e todo Y é Z, então todo X é Z. Verdadeiro. Esta é uma afirmação válida da lógica, conhecida como transitividade. II – Se nem todo A é B, então existe A que não é B. Verdadeiro. Essa afirmação é correta, pois se nem todo A é B, isso implica que pelo menos um A não é B. III – Se todo A é B, então todo B é A. Falso. Esta afirmação não é verdadeira, pois a relação não é necessariamente bidirecional. Por exemplo, se todo cachorro é um animal, isso não significa que todo animal é um cachorro. Com base nas análises, as afirmativas verdadeiras são I e II. Portanto, a alternativa correta é: (B) I e II, apenas.