b) Algumas crianças não são sorridentes (utilize 'C' para criança e 'S' para sorridente). ∃x (Cx & ~Sx) ~∀x (~Cx ∨ Sx)

A resposta correta é a alternativa B) Algumas crianças não são sorridentes. Isso é indicado pela primeira sentença lógica (∃x (Cx & ~Sx)), que afirma que existe pelo menos uma criança (Cx) que não é sorridente (~Sx). A segunda sentença lógica (~∀x (~Cx ∨ Sx)) não nega essa afirmação, confirmando que há pelo menos uma criança que não é sorridente.