Se é verdade que algumas crianças são paulistas e que nenhum atleta é paulista, então é necessariamente verdade que:

Gabarito

Certo

Comentário do professor

Partimos das premissas: algumas crianças são paulistas e nenhum atleta é paulista. A primeira é existencial, expressa por \( \exists x\,(C(x)\land P(x)) \). A segunda é universal e afirma que ser atleta implica não ser paulista, ou seja \( \forall x\,(A(x)\to\lnot P(x)) \).

Da forma lógica equivalente, a segunda premissa pode ser vista como \( P(x)\to\lnot A(x) \). Assim, todo indivíduo paulista não pode ser atleta.

Como existe pelo menos um indivíduo que é simultaneamente criança e paulista, esse indivíduo, por ser paulista, não pode ser atleta. Logo, existe pelo menos uma criança que não é atleta.

Conclusão: alguma criança não é atleta.