Se "Todos B são A" e "Alguns A são E", pode-se concluir que "Alguns B são E"?

Resposta

Não, a relação é indeterminada.

Dados: Todos B são A (B está contido em A) e Alguns A são E (há elementos de A que são E). A interseção A ∩ E pode ocorrer totalmente fora de B, ou pode incluir parte de B, não havendo informação suficiente para garantir presença ou ausência de elementos de B entre os E, portanto não se pode concluir.

Exemplo:
Todos os professores são formados. Alguns formados estão desempregados. É possível que os formados desempregados sejam apenas de outras áreas, sem incluir professores, ou que alguns professores também estejam desempregados. Logo, a presença de professores entre os desempregados é indeterminada.