Lógica: Todos os médicos são estudiosos. João é médico, logo:

1. Premissa universal: “Todos os médicos são estudiosos.” Isso pode ser representado como: $\forall x\,(M(x) \rightarrow E(x))$.
2. Premissa particular: “João é médico.” Representando: $M(\text{João})$.
3. Pela regra do modus ponens: se $M(x) \rightarrow E(x)$ e $M(\text{João})$, então necessariamente $E(\text{João})$.
4. Portanto, conclui-se que João é estudioso.

Alternativa correta: (a).