If you make A → B only with some probability, then B becomes probabilistically dependent on A as well; i.e. if you make logic probabilistic then this actually becomes true in a sense.
It is certainly true that if we know A implies B, then knowledge of B will also confer knowledge of A. However, this is not enough to call it a logical implication, and given that the original saying used the terms modus ponens and modus tollens, a logical implication is obviously what is meant in this setting.
If you make A → B only with some probability, then B becomes probabilistically dependent on A as well; i.e. if you make logic probabilistic then this actually becomes true in a sense.
It is certainly true that if we know A implies B, then knowledge of B will also confer knowledge of A. However, this is not enough to call it a logical implication, and given that the original saying used the terms modus ponens and modus tollens, a logical implication is obviously what is meant in this setting.