A negação da proposição “À noite todas as crianças choram” está indicada na seguinte opção:

Gabarito

Certo

Comentário do professor

À noite todas as crianças choram. é uma frase com quantificador universal: afirma que a propriedade "chorar à noite" vale para todas as crianças.

Formalizando, se \(P(x)\) representa "a criança x chora à noite", a proposição é \( \forall x\, P(x)\).

Para negar uma sentença com quantificador universal aplicamos a regra lógica: a negação de \( \forall x\, P(x)\) é \( \exists x\, \neg P(x)\). Ou seja, trocamos o quantificador universal por um existencial e negamos a propriedade.

Convertendo para linguagem natural obtemos: À noite, existe pelo menos uma criança que não chora. O destaque em "pelo menos uma" indica o quantificador existencial.

Letra C.