Analise a frase abaixo: "Se todos os homens são mortais, e Sócrates é homem, então ". Assinale a alternativa que preencha, corretamente a lacuna.

Gabarito

B

Comentário do professor

Temos duas premissas: "Todos os homens são mortais" afirma que o conjunto dos homens está contido no conjunto dos mortais; "Sócrates é homem" afirma que Sócrates pertence ao conjunto dos homens.

Em linguagem de conjuntos, se \(H\) é o conjunto dos homens e \(M\) o dos mortais, escrevemos \(H\subseteq M\). Se \(s\) representa Sócrates e \(s\in H\), então necessariamente \(s\in M\).

Portanto a conclusão lógica é que Sócrates é mortal. Essa é uma consequência válida do silogismo categórico: dadas as premissas verdadeiras, a conclusão não pode ser falsa.