if A then B

Can only be false if there is an instance where A is true, and B is false. In all other cases it's true, even when A is always false.

That's the key.