Raciocínio Lógico — diagrams de venn (quantificadores universais)

Considere como verdadeiras as sentenças a seguir.

I. Alguns matemáticos são professores.

II. Nenhum físico é matemático.

Então, é necessariamente verdade que