Considerando “Todo esporte é saudável” como uma proposição verdadeira, correto afirmar que:

Gabarito

B

Comentário do professor

Partindo da proposição "Todo esporte é saudável" assumida como verdadeira, interpretamos isso como o quantificador universal: \( \forall x\,(Esporte(x)\rightarrow Saudável(x)) \).

Essa afirmação coloca todos os elementos da classe Esporte dentro da classe Saudável. Em termos de conjuntos, \(Esporte \subseteq Saudável\).

Se existe pelo menos um elemento na classe Esporte (pressuposto usual em enunciados cotidianos), então necessariamente existe algum elemento que pertença a ambas as classes, isto é \( \exists x\,(Esporte(x)\land Saudável(x)) \).

Portanto, a proposição Algum esporte é saudável é logicamente consequência necessária da hipótese dada, sendo assim necessariamente verdadeira dentro desse contexto.