Indeed, logical implications are a special case of conditional probabilities that only take the values 0 and 1, rather than values in [0, 1].
we argue that probabilistic implications should take the form of the following conditional probability distribution: where π is a subvector that omits the indices i and j.