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.
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.