GABARITO: C
Primeiramente você tem que saber o que é condição suficiente, condição necessária e condição suficiente e necessária.
Em uma condicional:
SE ---> ENTÃO
Suficiente ---> NEcessária
(O que vem antes é suficiente e o que vem depois é necessária).
Condição suficiente e necessária = nada mais é do que o conectivo ''se e somente se'' (<-->).
É preciso lembrar também que o conectivo ''se...então'' só é falso na linha V --> F = F, nas demais hipóteses será verdadeiro; já o ''se e somente se'' é verdadeiro quando as duas partes possuem valores iguais e falso quando possui valores lógicos diferentes.
Resolução:
Sabe-se que a ocorrência de X é condição necessária para a ocorrência de Y
Então X é condição necessária(vem depois) e Y é condição suficiente(vem antes), ficando:
Y -----> X
e condição suficiente para a ocorrência de Z
Então X é condição suficiente(vem antes) e Z é condição necessária(vem depois), ficando:
X ---> Z
Sabe-se, também, que a ocorrência de Z é condição necessária e suficiente para a ocorrência de W.
Se Z é condição necessária e suficiente para W, então:
Z <--> W
Assim, quando Y ocorre...
Ao dizer ''quando Y ocorre'' quer dizer que devemos considerar que Y possui valor lógico verdadeiro e devemos deixar as demais proposições acima verdadeiras, com base nesse valor.
Vamos lá:
Y(V) ---> X(V) VERDADEIRA
Primeira parte deu V, então a segunda parte tem que ser V para que a proposição fique verdadeira.
X(V) ---> Z(V) VERDADEIRA
Primeira parte deu V, então a segunda parte tem que ser V para que a proposição fique verdadeira.
Z(V) <--> W(V) VERDADEIRA
Primeira parte deu V, então a segunda parte tem que ser V para que a proposição fique verdadeira.
Conclusões:
Y ocorre;
X ocorre;
W ocorre;
Z ocorre.