Se é verdade que "Alguns escritores são matemáticos" e que "Nenhum poeta é matemático", então, também é necessariamente verdade que:
a) Nenhum poeta é escritor.
b) Algum escritor é poeta.
c) Nenhum escritor é poeta.
d) Algum escritor não é poeta.