Para encontrar a proposição equivalente a "Não é verdade que todos os gatos são brancos", precisamos entender o que essa frase implica. A frase "Não é verdade que todos os gatos são brancos" significa que não se pode afirmar que todos os gatos pertencem à categoria dos brancos. Isso pode ser interpretado como existindo pelo menos um gato que não é branco. Vamos analisar as alternativas: A) Alguns gatos são brancos - Isso não é equivalente, pois a frase original não diz nada sobre a existência de gatos brancos. B) Todos os gatos não são brancos - Isso é uma afirmação muito forte e não é equivalente à frase original. C) Nenhum gato é branco - Isso também é uma afirmação muito forte e não é equivalente. D) Alguns gatos não são brancos - Esta opção é a que melhor se encaixa, pois afirma que existe pelo menos um gato que não é branco, o que é consistente com a negação de que todos os gatos são brancos. E) Todos os gatos são pretos - Isso é uma afirmação específica e não é equivalente. Portanto, a proposição equivalente a "Não é verdade que todos os gatos são brancos" é: D) Alguns gatos não são brancos.