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

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: