Considere as seguintes afirmativas: – Todos os caminhos levam a algum lugar. – Alguns caminhos são mais tortuosos. – Alguns caminhos levam a lugares indesejáveis. A partir dessas a

Gabarito

Errado

Comentário do professor

Partimos da afirmação universal: todos os caminhos levam a algum lugar. Seja C o conjunto de caminhos e A o conjunto das coisas que levam a algum lugar; isso significa \(C \subseteq A\).

A segunda afirmação diz que existem caminhos tortuosos. Seja T o conjunto desses caminhos, com \(T \subseteq C\) e \(T \neq \emptyset\).

Da composição das duas inclusões segue logicamente que \(T \subseteq A\). Ou seja, qualquer elemento de T pertence também a A.

Em linguagem natural, isso quer dizer que, por mais tortuoso que seja um caminho, ele está contido no conjunto dos que levam a algum lugar, portanto ele leva a algum lugar.