Considere verdadeira a proposição A: (¬X ˄ Z) ˄ (Z → Y).
A conclusão que se pode tirar a partir de A, por dedução lógica, é