Argumentação com quantificadores: Questões, Simulados e Provas

Considerando as seguintes proposições: "Alguns filósofos são matemáticos" e "não é verdade que algum poeta é matemático", pode-se concluir apenas que:

"Todo vegetariano é magro. Alguns magros são elegantes." Com base na afirmativa anterior, é correto afirmar que

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