Carlos vai à loja se Celso for ao banco. Celso não vai ao banco se Cesar for à praia. Carlos não foi à loja. Logo pode-se concluir que:

Gabarito

D

Comentário do professor

Traduzindo as premissas em símbolos, tome: \(B\) = "Celso foi ao banco" e \(A\) = "Carlos foi à loja". A primeira premissa é \(B \rightarrow A\). A terceira diz \(\neg A\).

A partir de \(B \rightarrow A\) e de \(\neg A\) aplicamos o modus tollens: se "se B então A" e A é falso, então B também deve ser falso para que a condicional seja verdadeira.

Assim obtemos \(\neg B\), ou seja, Celso não foi ao banco. Essa conclusão decorre diretamente das duas premissas mencionadas, sem necessidade de informação adicional.