Sabe-se que são verdadeiras as afirmativas: • Se Z, então não X. • Se não Z, então Y. Logo, deduz-se que:

Z é necessário para X;

Z é suficiente para Y;

X é necessário para Y;

X é suficiente para Z;

Y é necessário para X.