João vai sair de casa e é interpelado por sua mãe: - João, você vai aonde? - Não tenho certeza, mãe. Vou encontrar amigos para ir ao futebol ou ao cinema no shopping. - João, se você for ao cinema, compre chocolate para mim. - Sim, mãe. Quatro horas mais tarde, João, que sempre atende às solicitações de sua mãe, retorna e vem com chocolates. É correto concluir que

1. Defina as proposições:

• $C$: “João foi ao cinema”.
• $S$: “João comprou chocolate (para a mãe)”.

2. Da fala da mãe: “Se você for ao cinema, compre chocolate para mim.” Isso se traduz por uma condicional: $C \rightarrow S.$

3. Do enunciado: “João, que sempre atende às solicitações de sua mãe, retorna e vem com chocolates.” Isso garante que ele comprou chocolate, ou seja: $S \text{ é verdadeira.}$

4. O que podemos concluir logicamente?

• Saber que $S$ é verdadeira não permite concluir que $C$ é verdadeira (isso seria a falácia de afirmar o consequente).
• Mas a disjunção “$C$ ou $S$” é verdadeira sempre que pelo menos uma das partes é verdadeira. Como $S$ é verdadeira, então: $C \lor S \text{ é verdadeira.}$

Portanto, a conclusão correta é a alternativa que afirma “João foi ao cinema ou João comprou o chocolate”.