Se Carlos é atleta, então treina bastante. Se Carlos treina bastante, então não tem tempo para se divertir. A conclusão desse argumento é:

Gabarito

B

Comentário do professor

Considere as proposições: A = "Carlos é atleta", B = "Carlos treina bastante", C = "Carlos não tem tempo para se divertir".

As premissas são \(A\to B\) e \(B\to C\).

Assuma que A seja verdadeira. Pela primeira condicional segue que B é verdadeira.

Com B verdadeira, pela segunda condicional segue que C é verdadeira.

Portanto, sempre que A for verdadeira, C também o será, ou seja, a condicional \(A\to C\) é válida.

Essa conclusão é a regra do silogismo hipotético (transitividade da implicação): \((A\to B)\land(B\to C)\models(A\to C)\). Assim chega-se à alternativa correta: "Se Carlos é atleta, então não tem tempo para se divertir".