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