Considere as seguintes premissas: I - Todo professor é herói; II- Nenhum herói é fraco. Portanto:

Gabarito

Errado

Comentário do professor

Partindo das premissas, representamos em termos de conjuntos: \(P \subset H\) (todo professor é herói) e \(H \cap F = \varnothing\) (nenhum herói é fraco).

Em linguagem de predicados: \( \forall x (P(x)\rightarrow H(x))\) e \( \forall x (H(x)\rightarrow \neg F(x))\). Pela composição das implicações, obtemos \( \forall x (P(x)\rightarrow \neg F(x))\). Em outras palavras, se algo é professor então não é fraco.

Daí segue necessariamente a conclusão: nenhum professor é fraco. Geometricamente, o conjunto dos professores está contido no dos heróis, e como este não se sobrepõe ao dos fracos, não existe elemento que seja simultaneamente professor e fraco.