Sabe-se que: todo médico é graduado; todo graduado é disciplinado; Márcio é médico e Roberto é disciplinado. Com base nessas afirmações, é CORRETO concluir, com certeza, que:

Gabarito

B

Comentário do professor

Das premissas temos a regra universal todo médico é graduado e a afirmação individual Márcio é médico. Em lógica de predicados, a primeira pode ser formalizada como \( \forall x\,(M(x)\to G(x))\) e a segunda como \(M(\text{Márcio})\).

Aplicando modos ponens (instanciar a regra para Márcio e inferir), obtemos imediatamente \(G(\text{Márcio})\): isto é, Márcio é graduado.

Outra leitura é por inclusão de conjuntos: o conjunto dos médicos está contido no conjunto dos graduados; portanto todo elemento que pertence ao conjunto dos médicos (como Márcio) pertence também ao conjunto dos graduados.

Portanto, a conclusão «Márcio é graduado» decorre necessariamente das premissas e é logicamente válida.