Em um problema de lógica, se a proposição 'Todos os gatos são pretos' for considerada falsa, então sua negação, que afirma que 'Existe pelo menos um gato que não é preto', deve ser considerada verdadeira.