Considere as seguintes frases:

I- Todos os unicórnios são criaturas mágicas.
II- Alguns unicórnios são criaturas mágicas.
III- Nenhum unicórnio é uma criatura mágica.
IV- Alguns unicórnios não são criaturas mágicas.

Com base nessas frases e na lógica do Cálculo Quantificacional Clássico, é correto afirmar que(,)