More of a naming question:
If $A \Rightarrow B$, then $B$ is a consequence of $A$.
If $A \Leftarrow B$, then $B$ is a ¿what? of $A$?
Background: I am thinking about Hoare logic, which has a so-called consequence rule. I have something dual in mind, where the implications go the other direction and I would like to name it ¿what? rule.