Sabe-se que são verdadeiras as afirmativas: &nb...

Aqui nós usamos a Regra de três da condicional.

Vou escrever abaixo os dois argumentos dados pela questão:

1º Z?>~X

2º ~Z?>Y

Agora vamos fazer a equivalente de uma qualquer (escolhi a primeira)
Uma regra para acharmos a equivalência é negar voltando. Desta forma a 1º ficaria assim:

1º X > ~Z (repetimos a 2º abaixo)
2º ~Z > Y - Temos termos iguais em lugares opostos, com isso eu posso cancelá-los. Então temos:

Z > Y - Na condicional dizemos que o primeiro termo é suficiente e o segundo termo é necessário.

Então temos que Y é necessário para X
Alternativa E