Vamos analisar cada uma das proposições lógicas apresentadas: (A) Se todos os A são B, então todos os B são A - Esta proposição é falsa. O fato de todos os A serem B não implica que todos os B sejam A. Por exemplo, se todos os cães (A) são animais (B), isso não significa que todos os animais (B) são cães (A). (B) Se alguns A são B, então todos os B são A - Esta proposição também é falsa. Se alguns A são B, não podemos concluir que todos os B são A. (C) Se todos os A são B, então alguns B não são A - Esta proposição é verdadeira. Se todos os A são B, pode haver B que não são A, por exemplo, se todos os cães (A) são animais (B), existem animais (B) que não são cães (A). (D) Se alguns A são B, então alguns B são A - Esta proposição é verdadeira. Se alguns A são B, isso implica que existe pelo menos um B que é A. (E) Se nenhum A é B, então todos os B são A - Esta proposição é falsa. Se nenhum A é B, isso não implica que todos os B sejam A. Analisando as opções, as proposições (C) e (D) são corretas, mas a (D) é a mais direta e geralmente aceita em lógica. Portanto, a resposta correta é: (D) Se alguns A são B, então alguns B são A.