Em uma sequência de eventos, se a ocorrência do evento B sempre se segue à ocorrência do evento A, e o evento C sempre se segue à ocorrência do evento B, então é logicamente dedutível que o evento C ocorrerá se, e somente se, o evento A ocorrer, independentemente de outros fatores externos.