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: