Considere verdadeiras as seguintes proposições: P1: Nenhuma...

As proposições P1 e P2 são verdadeiras e são representadas a seguir:

P1: Nenhuma pessoa feliz (x) sente fome (y).
P2: Todas as crianças (z) são pessoas felizes (x).

Tendo as equivalências e negações em mente para relembrarmos:

Todo x é y = Nenhum y é não x
Nenhum x é y = Todo y é não x

~(Todo x é y) = Algum x não é y
~(Nenhum x é y) = Algum x é y = Todo x não é y

Na segunda proposição, vimos que todo z é x, ou seja, nenhum x é não z, concluindo que nenhuma pessoa feliz não é criança. Logo, na primeira proposição, como nenhum x é y, todo y é não x, concluindo que todas as pessoas que sentem fome não são felizes.

Assim, como todas as crianças são felizes, elas não sentem fome.

Conclusão: nenhuma criança sente fome.

D