pengvado comments on Decision theory: Why Pearl helps reduce “could” and “would”, but still leaves us with at least three alternatives

[pengvado]

Interpreted as truth-functional, “if A then B” is equivalent to “A→B” is equivalent to “~A ∨ B”. Which is true whenever A is false, regardless of its relation to B or lack thereof.