This is a definition that often leads to confusion. Why is "if then " true if is false? Well, it is not making any claim at all, since it is discussing the world where is true, which isn't the world under consideration. It is often useful to consider this statement to be true.
For example, you might write a specification for a program by saying that "if the input is positive, then the output is positive". The following function should satisfy this specification (i.e. we would consider the statement "if the input is positive, then the output of
f is positive" to be true):
def f(x): return x
The function still satisfies its specification, even if you pass in -5; the specification is making no claims about this case.