• Se X acontece, então Y não acontece.
• Se K acontece, então X acontece.
• K acontece ou W acontece.
• Se W não acontece, então Z não acontece.
• Y aconteceu.
O exercício fala que todas as declarações são verdadeiras. Vamos partir da última declaração: Y aconteceu.
Uma equivalente da primeira declaração é: Se Y acontece, então X não acontece (contrapositiva: Nega as duas proposições e inverte)
Usando a mesma equivalência para a segunda declaração, temos: Se X não acontece, então K não acontece.
Da terceira declaração, temos que K acontece ou W acontece.
Para uma proposição composta OU ser verdadeira, uma das proposições deve ser verdadeira. Como sabemos que K não acontece, logo W deve acontecer para a terceira declaração ser verdadeira.
Alternativa: C