Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro que:
- A algum X não é Z.
- B algum X é Z
- C nenhum X é Z.
- D algum Z é X.
- E nenhum Z é X.
Se é verdade que “algum X é Y” e que “nenhum Z é Y”, então é necessariamente verdadeiro que: