Supondo verdade a proposição “todo ser humano é mortal”, pode-se inferir corretamente que:

Gabarito

Certo

Comentário do professor

Partindo da afirmação "todo" ser humano é mortal, representamos isso como inclusão de conjuntos: \(H \subseteq M\), onde H = conjunto dos seres humanos e M = conjunto dos mortais.

Essa relação significa que todo elemento de H também pertence a M. Assim, se existe pelo menos um ser humano, esse elemento pertence simultaneamente a H e a M.

Em linguagem lógica: \((\forall x)(H(x)\to M(x))\) e, supondo a existência de humanos, segue \(\exists x\,(H(x)\land M(x))\). Ou seja, a proposição "algum" ser humano é mortal é uma consequência direta da universal.

Portanto, a alternativa está correta porque o universal implica o particular sob o pressuposto de existência do sujeito.