Sabe-se que a ocorrência de X é condição necessária para a ocorrência de Y e condição suficiente para a ocorrência de Z. Sabe-se, também, que a ocorrência de Z é condição necessária e suficiente para a ocorrência de W. Assim, quando Y ocorre,
