I think it's the other way around! The statement A --> B (if A then B) would be more accurately translated as B has to happen for A to happen. (B is the necessary condition that has to happen in order for A to be true.)