Em uma caixa só pode haver bolas pretas ou brancas. Sabe-se que a caixa não está vazia e que não é verdade que “todas as bolas na caixa são pretas”. Então é correto concluir que:

Gabarito

D

Comentário do professor

Temos duas informações cruciais: a caixa não está vazia e não é verdade que todas as bolas na caixa são pretas.

Em lógica, a negação de uma afirmação universal se transforma em existência: \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \). Aplicando ao caso, existe pelo menos uma bola na caixa que não é preta.

Como o enunciado diz que na caixa só podem haver bolas pretas ou brancas, qualquer bola que não seja preta necessariamente é branca.

Logo, a conclusão válida é que há pelo menos uma bola branca na caixa.